Theorem RingCon.sup_eq_ringConGen

Modification history