Commit 2023-09-27 21:48 41584956

View on Github →

style: fix multiple spaces before colon (#7411) Purely cosmetic PR

Estimated changes

Modified Mathlib/Algebra/Homology/HomotopyCategory/HomComplex.lean

modified theorem CochainComplex.HomComplex.Cochain.d_comp_ofHom_v

modified theorem CochainComplex.HomComplex.Cochain.d_comp_ofHoms_v

Modified Mathlib/Algebra/Tropical/Lattice.lean

Modified Mathlib/Analysis/Normed/Group/HomCompletion.lean

Modified Mathlib/CategoryTheory/Abelian/NonPreadditive.lean

Modified Mathlib/CategoryTheory/Bicategory/Free.lean

Modified Mathlib/CategoryTheory/Category/Factorisation.lean

Modified Mathlib/CategoryTheory/Iso.lean

Modified Mathlib/CategoryTheory/Over.lean

Modified Mathlib/CategoryTheory/Shift/Basic.lean

Modified Mathlib/CategoryTheory/Shift/Localization.lean

Modified Mathlib/CategoryTheory/Whiskering.lean

Modified Mathlib/Data/Finset/Pointwise.lean

modified theorem Finset.coe_pow

Modified Mathlib/Data/Nat/GCD/Basic.lean

Modified Mathlib/FieldTheory/Finite/GaloisField.lean

modified def GaloisField

Modified Mathlib/GroupTheory/FreeGroup/Basic.lean

Modified Mathlib/LinearAlgebra/DFinsupp.lean

Modified Mathlib/MeasureTheory/Group/Action.lean

Modified Mathlib/Order/Basic.lean

Modified Mathlib/Order/Booleanisation.lean

Modified Mathlib/Order/Hom/CompleteLattice.lean

modified theorem sSupHom.toFun_eq_coe

Modified Mathlib/RingTheory/Ideal/Operations.lean

Modified Mathlib/RingTheory/Localization/Basic.lean

modified theorem IsLocalization.smul_mk'

Modified Mathlib/SetTheory/Lists.lean

Modified Mathlib/Tactic/Explode.lean

Modified Mathlib/Tactic/Simps/Basic.lean

Modified Mathlib/Testing/SlimCheck/Testable.lean

Modified Mathlib/Topology/Algebra/ValuedField.lean

Modified Mathlib/Topology/Order/Category/AlexDisc.lean

modified def alexDiscEquivPreord

Modified test/Simps.lean