Theorem PerfectRing.lift_id

Modification history