Mathlib Changelog
v4
Changelog
About
Github
Theorem
equivShrink_div
Modification history
2023-07-01 13:49
Mathlib/Logic/Small/Group.lean
feat: API around Small (#5645) …
Added
equivShrink_div
View on Github →