Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-09 23:04
ea33796b
View on Github →
fix: add missing simps projections for ContinuousAddEquiv (
#24892
)
Estimated changes
Modified
Mathlib/Topology/Algebra/ContinuousMonoidHom.lean