Def PerfectRing.liftAux

Modification history