Theorem PerfectRing.lift_apply

Modification history