Theorem RingCon.sSup_eq_ringConGen

Modification history