Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-13 22:54
8fa5a362
View on Github →
fix(Algebra/Algebra/Equiv): fix deprecation message (
#12873
) ... and add its deprecation date.
Estimated changes
Modified
Mathlib/Algebra/Algebra/Equiv.lean