↳ retarget: I don't think this is the appropriate Wikidata tag. Asymptotic Analysis is a field of math, we want the entry specifically for "Big O"
Tag queue
Pending @[wikidata] tags for the next Mathlib batch. updated 2026-06-23T20:07:27.712Z
Recycled — needs a retarget 5
↳ retarget: Basis — This does not cover polar/spherical/hyperbolic coordinate systems as discussed in the Wikipedia article. "Coordinate system" is a much more general concept. Instead, we should tag `Basis` with Q189569
↳ retarget: Dual — Duality is a more general concept. We should instead tag `Dual` with Q752487 (Dual Space)
↳ retarget: trapezoidal_integral — Numerical integration is a more general concept. We should instead tag `trapezoidal_integral` with Q833293 (trapezoidal rule)
↳ retarget: "Random graph" is too broad. We should instead tag with Q605807 (Erdős–Rényi model) since this is the `G(V,p)` model described by `binomialRandom`. See: https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%