Def Ring.Perfection

Modification history

2026-03-03 15:46

Mathlib/RingTheory/Perfection.lean

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

Deleted Ring.Perfection View on Github →

2023-06-11 13:19

Mathlib/RingTheory/Perfection.lean

feat: port RingTheory.Perfection (#4629)

Added Ring.Perfection View on Github →