Def Perfection.lift

Modification history

2023-08-14 20:58
Mathlib/RingTheory/Perfection.lean
chore: refactor perfect rings / fields (#6182) …
Deleted Perfection.liftView on Github →
2023-06-11 13:19
Mathlib/RingTheory/Perfection.lean
feat: port RingTheory.Perfection (#4629)
Added Perfection.liftView on Github →