Theorem PerfectRing.liftAux_id

Modification history