Theorem PerfectRing.lift_comp_lift

Modification history