Commit 2025-05-14 14:51 6da103a5

chore: make sure items in docs have no odd indentation (#24893) 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 outside Algebra.