Commit 2026-02-19 09:41 6496c807

View on Github →

style: remove almost all remaining leading by's (#35523)

Estimated changes

Modified Mathlib/Algebra/MvPolynomial/Eval.lean

Modified Mathlib/Algebra/MvPolynomial/Supported.lean

Modified Mathlib/Algebra/Order/Interval/Set/Group.lean

modified theorem Set.pairwise_disjoint_Ioc_intCast

modified theorem Set.pairwise_disjoint_Ioo_intCast

Modified Mathlib/Algebra/Polynomial/OfFn.lean

modified theorem Polynomial.ofFn_coeff_eq_zero_of_ge

Modified Mathlib/Analysis/Normed/Order/Lattice.lean

Modified Mathlib/CategoryTheory/Adjunction/Parametrized.lean

Modified Mathlib/Combinatorics/SimpleGraph/Walks/Operations.lean

modified theorem SimpleGraph.Walk.Nil.append

Modified Mathlib/Data/List/Rotate.lean

Modified Mathlib/Data/Multiset/Pi.lean

Modified Mathlib/FieldTheory/RatFunc/Basic.lean

Modified Mathlib/Geometry/Manifold/LocalInvariantProperties.lean

Modified Mathlib/GroupTheory/FreeGroup/Basic.lean

Modified Mathlib/GroupTheory/FreeGroup/IsFreeGroup.lean

Modified Mathlib/MeasureTheory/Measure/Haar/Quotient.lean

Modified Mathlib/MeasureTheory/Measure/Lebesgue/EqHaar.lean

Modified Mathlib/RingTheory/Polynomial/DegreeLT.lean

Modified Mathlib/RingTheory/RingHom/Finite.lean