Theorem PerfectRing.lift_lift_apply

Modification history