Theorem PerfectRing.lift_comp

Modification history