Theorem PerfectRing.liftEquiv_id

Modification history