Theorem PerfectRing.lift_comp_lift_eq_id

Modification history