Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-17 14:45
446b459f
View on Github →
chore: replace mono by gcongr (
#23968
) gcongr is more maintained, and slightly faster here.
Estimated changes
Modified
Mathlib/Dynamics/OmegaLimit.lean