Commit 2025-05-14 13:52 95bc7692

style(NumberTheory): make sure items in docs have no odd indentation (#24902) In all lines starting with " *" or " -", remove the leading space. That space is not required and does not match mathlib style. Then, manually make indentation of subsequent lines match (often, decreasing by one, and sometimes two, space(s).) Like #24886, but for everything inside NumberTheory.