Theorem PerfectRing.comp_lift_apply

Modification history