Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-29 14:36
cf70dec4
View on Github →
chore: cleanup a few porting notes (
#18380
)
Estimated changes
Modified
Mathlib/Algebra/Expr.lean
Modified
Mathlib/Algebra/Free.lean
Modified
Mathlib/Algebra/GeomSum.lean
Modified
Mathlib/Algebra/Group/Int.lean