Theorem PerfectRing.lift_aux

Modification history