Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-20 10:21
c98df614
View on Github →
chore(Algebra): fix whitespace (
#32906
)
Estimated changes
Modified
Mathlib/Algebra/AddConstMap/Basic.lean
Modified
Mathlib/Algebra/AffineMonoid/Basic.lean
Modified
Mathlib/Algebra/Algebra/Operations.lean
Modified
Mathlib/Algebra/Algebra/Spectrum/Basic.lean
Modified
Mathlib/Algebra/Algebra/Spectrum/Quasispectrum.lean
Modified
Mathlib/Algebra/Algebra/Subalgebra/Pointwise.lean
Modified
Mathlib/Algebra/Algebra/Tower.lean
Modified
Mathlib/Algebra/Algebra/ZMod.lean
Modified
Mathlib/Algebra/BigOperators/Group/Finset/Defs.lean
Modified
Mathlib/Algebra/BigOperators/Group/List/Basic.lean
Modified
Mathlib/Algebra/BigOperators/GroupWithZero/Action.lean
Modified
Mathlib/Algebra/Category/Grp/Adjunctions.lean
Modified
Mathlib/Algebra/Category/Grp/Ulift.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Abelian.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Adjunctions.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Biproducts.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Free.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Topology/Basic.lean
modified
theorem
TopModuleCat.hom_neg
Modified
Mathlib/Algebra/Category/Ring/Constructions.lean
Modified
Mathlib/Algebra/Category/Ring/Topology.lean
Modified
Mathlib/Algebra/Colimit/Ring.lean
Modified
Mathlib/Algebra/Group/Action/Equidecomp.lean
Modified
Mathlib/Algebra/Group/Action/Pointwise/Set/Basic.lean
Modified
Mathlib/Algebra/Group/AddChar.lean
Modified
Mathlib/Algebra/Group/Finsupp.lean
Modified
Mathlib/Algebra/Group/Subgroup/Pointwise.lean
Modified
Mathlib/Algebra/Group/Submonoid/Units.lean
Modified
Mathlib/Algebra/GroupWithZero/Range.lean
modified
theorem
MonoidWithZeroHom.mem_valueMonoid_iff
modified
theorem
MonoidWithZeroHom.valueMonoid_eq_closure
Modified
Mathlib/Algebra/Homology/BifunctorAssociator.lean
Modified
Mathlib/Algebra/Homology/DerivedCategory/Ext/EnoughProjectives.lean
Modified
Mathlib/Algebra/Homology/DerivedCategory/Fractions.lean
Modified
Mathlib/Algebra/Homology/DerivedCategory/KInjective.lean
Modified
Mathlib/Algebra/Homology/DerivedCategory/KProjective.lean
Modified
Mathlib/Algebra/Homology/Embedding/TruncLEHomology.lean
Modified
Mathlib/Algebra/Homology/HomologySequence.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/HomComplexCohomology.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/Pretriangulated.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/Shift.lean
Modified
Mathlib/Algebra/Homology/HomotopyCategory/ShiftSequence.lean
Modified
Mathlib/Algebra/Homology/HomotopyCofiber.lean
Modified
Mathlib/Algebra/Homology/Localization.lean
Modified
Mathlib/Algebra/Homology/Monoidal.lean
Modified
Mathlib/Algebra/Homology/ShortComplex/ConcreteCategory.lean
Modified
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
Modified
Mathlib/Algebra/Homology/ShortComplex/Homology.lean
Modified
Mathlib/Algebra/Homology/ShortComplex/RightHomology.lean
Modified
Mathlib/Algebra/Homology/SingleHomology.lean
Modified
Mathlib/Algebra/Homology/TotalComplexShift.lean
Modified
Mathlib/Algebra/IsPrimePow.lean
Modified
Mathlib/Algebra/Lie/Derivation/AdjointAction.lean
modified
theorem
LieDerivation.ad_apply_lieDerivation
Modified
Mathlib/Algebra/Lie/Ideal.lean
Modified
Mathlib/Algebra/Lie/LieTheorem.lean
Modified
Mathlib/Algebra/Lie/SkewAdjoint.lean
Modified
Mathlib/Algebra/Lie/Sl2.lean
Modified
Mathlib/Algebra/Lie/TraceForm.lean
Modified
Mathlib/Algebra/Lie/Weights/Killing.lean
Modified
Mathlib/Algebra/Lie/Weights/RootSystem.lean
Modified
Mathlib/Algebra/Module/CharacterModule.lean
Modified
Mathlib/Algebra/Module/LocalizedModule/Basic.lean
modified
theorem
IsLocalizedModule.map_id
Modified
Mathlib/Algebra/MonoidAlgebra/ToDirectSum.lean
Modified
Mathlib/Algebra/MvPolynomial/Basic.lean
Modified
Mathlib/Algebra/NoZeroSMulDivisors/Basic.lean
Modified
Mathlib/Algebra/Order/Antidiag/Nat.lean
Modified
Mathlib/Algebra/Order/Archimedean/Class.lean
Modified
Mathlib/Algebra/Order/BigOperators/Group/Finset.lean
Modified
Mathlib/Algebra/Order/Floor/Div.lean
Modified
Mathlib/Algebra/Order/Floor/Ring.lean
Modified
Mathlib/Algebra/Order/Floor/Semifield.lean
Modified
Mathlib/Algebra/Order/Group/Synonym.lean
modified
theorem
ofDual_eq_one
Modified
Mathlib/Algebra/Order/Interval/Finset/SuccPred.lean
Modified
Mathlib/Algebra/Order/Interval/Set/SuccPred.lean
Modified
Mathlib/Algebra/Order/Module/Defs.lean
Modified
Mathlib/Algebra/Order/Ring/IsNonarchimedean.lean
Modified
Mathlib/Algebra/Order/Ring/Ordering/Basic.lean
Modified
Mathlib/Algebra/Polynomial/AlgebraMap.lean
Modified
Mathlib/Algebra/Polynomial/Bivariate.lean
Modified
Mathlib/Algebra/Polynomial/CoeffList.lean
Modified
Mathlib/Algebra/Polynomial/Degree/IsMonicOfDegree.lean
Modified
Mathlib/Algebra/Polynomial/Div.lean
modified
theorem
Polynomial.neg_modByMonic
Modified
Mathlib/Algebra/Polynomial/Factors.lean
Modified
Mathlib/Algebra/Polynomial/Laurent.lean
Modified
Mathlib/Algebra/Polynomial/RuleOfSigns.lean
Modified
Mathlib/Algebra/QuadraticAlgebra/Basic.lean
Modified
Mathlib/Algebra/QuadraticAlgebra/Defs.lean
Modified
Mathlib/Algebra/Ring/BooleanRing.lean
Modified
Mathlib/Algebra/Ring/GeomSum.lean
Modified
Mathlib/Algebra/Ring/NegOnePow.lean
modified
theorem
Int.negOnePow_succ
Modified
Mathlib/Algebra/Ring/NonZeroDivisors.lean
Modified
Mathlib/Algebra/Ring/Periodic.lean
Modified
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
Modified
Mathlib/Algebra/SkewMonoidAlgebra/Lift.lean
Modified
Mathlib/Algebra/Star/StarAlgHom.lean
Modified
Mathlib/Algebra/Star/Subalgebra.lean
Modified
Mathlib/AlgebraicTopology/SimplicialSet/HomotopyCat.lean