Theorem PerfectRing.liftEquiv_trans

Modification history