Commit 2023-10-26 11:12 7adc50c4

View on Github →

chore: fix whitespace typos (#7950)

Estimated changes

Modified Mathlib/Algebra/Category/ModuleCat/Free.lean

Modified Mathlib/Algebra/Hom/Freiman.lean

Modified Mathlib/CategoryTheory/Limits/Shapes/Kernels.lean

Modified Mathlib/CategoryTheory/Limits/Shapes/Pullbacks.lean

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Data/Sym/Basic.lean

Modified Mathlib/NumberTheory/NumberField/CanonicalEmbedding.lean

modified theorem NumberField.mixedEmbedding.disjoint_span_commMap_ker

Modified Mathlib/NumberTheory/Padics/PadicVal.lean

modified theorem padicValNat_factorial_mul

Modified Mathlib/Order/LocallyFinite.lean

modified theorem Set.finite_iff_bddAbove

Modified Mathlib/RingTheory/Polynomial/Pochhammer.lean

modified theorem descPochhammer_natDegree