Theorem PerfectRing.lift_comp_apply

Modification history