Theorem PerfectRing.liftAux_id_apply

Modification history