Def Monoid.perfection

Modification history

2026-03-03 15:46

Mathlib/RingTheory/Perfection.lean

feat(RingTheory): generalise perfection to monoids (#31007) …

Deleted Monoid.perfection View on Github →

2023-06-11 13:19

Mathlib/RingTheory/Perfection.lean

feat: port RingTheory.Perfection (#4629)

Added Monoid.perfection View on Github →