Theorem PerfectRing.liftEquiv_apply

Modification history