Theorem PerfectRing.comp_lift

Modification history