Theorem PerfectRing.liftEquiv_comp_apply

Modification history