Theorem PerfectRing.liftAux_self_apply

Modification history