Theorem PerfectRing.lift_lift

Modification history