Theorem PerfectRing.lift_id_apply

Modification history