Commit 2025-11-21 16:26 cf85478f

View on Github →

doc: add missing spacing around doc code blocks (#31905) Issues found and fixed with help from Codex.

Estimated changes

Modified Mathlib/AlgebraicTopology/SimplicialSet/StdSimplex.lean

Modified Mathlib/Analysis/Meromorphic/Divisor.lean

Modified Mathlib/CategoryTheory/Adjunction/Mates.lean

Modified Mathlib/CategoryTheory/Limits/Preserves/Shapes/Square.lean

Modified Mathlib/CategoryTheory/Limits/Presheaf.lean

Modified Mathlib/CategoryTheory/Monoidal/Action/Opposites.lean

Modified Mathlib/Data/Finset/Erase.lean

Modified Mathlib/Data/Finset/PiInduction.lean

Modified Mathlib/LinearAlgebra/Lagrange.lean

Modified Mathlib/LinearAlgebra/Matrix/ToLin.lean

Modified Mathlib/NumberTheory/GaussSum.lean

Modified Mathlib/Probability/Moments/Variance.lean

Modified Mathlib/RepresentationTheory/Rep.lean

Modified Mathlib/RingTheory/Ideal/Quotient/Operations.lean

Modified Mathlib/RingTheory/Valuation/RankOne.lean

Modified Mathlib/Tactic/FunProp/ToBatteries.lean

Modified Mathlib/Topology/Algebra/ContinuousMonoidHom.lean

Modified Mathlib/Topology/Order/IntermediateValue.lean