Theorem PerfectRing.lift_self

Modification history