Commit 2025-05-14 13:52 cc3535b9

View on Github →

style(LinearAlgebra): make sure items in docs have no odd indentation (#24901) 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 LinearAlgebra.

Estimated changes