Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-19 18:35
a702d1f6
View on Github →
chore: golf proofs (
#32996
)
Estimated changes
Modified
Mathlib/Algebra/Lie/Weights/Basic.lean
modified
theorem
LieModule.Weight.ext
Modified
Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkDecomp.lean
Modified
Mathlib/GroupTheory/CoprodI.lean
Modified
Mathlib/Logic/Relation.lean
deleted
theorem
Relation.reflTransGen_minimal
Modified
Mathlib/NumberTheory/MulChar/Basic.lean
modified
theorem
MulChar.ext'