Def PerfectRing.liftEquiv

Modification history