Theorem PerfectRing.liftAux_self

Modification history