Theorem PerfectRing.liftAux_apply

Modification history