Mathlib Changelog
v4
Changelog
About
Github
Def
Perfection
Modification history
2026-03-03 15:46
Mathlib/RingTheory/Perfection.lean
feat(RingTheory): generalise perfection to monoids (#31007) …
Added
Perfection
View on Github →