Commit 2025-07-09 14:01 2216b124

View on Github →

chore: a bunch of whitespace fixes (#26925) Found by #26926.

Estimated changes

Modified Mathlib/Algebra/Group/NatPowAssoc.lean

Modified Mathlib/Algebra/Polynomial/Smeval.lean

modified theorem Polynomial.smeval_at_natCast

Modified Mathlib/Analysis/Calculus/UniformLimitsDeriv.lean

Modified Mathlib/Analysis/Seminorm.lean

Modified Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean

Modified Mathlib/Combinatorics/SimpleGraph/Connectivity/Connected.lean

Modified Mathlib/Data/Array/Defs.lean

Modified Mathlib/Data/Int/Init.lean

Modified Mathlib/Data/Int/Order/Basic.lean

Modified Mathlib/Data/List/Defs.lean

Modified Mathlib/Data/Num/Basic.lean

Modified Mathlib/Data/QPF/Multivariate/Constructions/Cofix.lean

Modified Mathlib/Data/Set/Defs.lean

Modified Mathlib/LinearAlgebra/Multilinear/Basic.lean

Modified Mathlib/Logic/Function/Basic.lean

Modified Mathlib/Logic/Function/CompTypeclasses.lean

Modified Mathlib/Logic/Nonempty.lean

modified theorem nonempty_sigma

Modified Mathlib/Logic/Relator.lean

modified theorem Relator.rel_and

modified theorem Relator.rel_eq

modified theorem Relator.rel_iff

modified theorem Relator.rel_or

Modified Mathlib/MeasureTheory/OuterMeasure/Basic.lean

Modified Mathlib/MeasureTheory/OuterMeasure/Caratheodory.lean

Modified Mathlib/MeasureTheory/OuterMeasure/Induced.lean

Modified Mathlib/ModelTheory/Syntax.lean

Modified Mathlib/Order/Defs/LinearOrder.lean

Modified Mathlib/Tactic/Choose.lean

Modified Mathlib/Tactic/ExtendDoc.lean

Modified Mathlib/Tactic/MkIffOfInductiveProp.lean

Modified MathlibTest/Simps.lean

Modified MathlibTest/push_neg.lean