Theorem PerfectRing.liftEquiv_id_apply

Modification history