Theorem RingCon.sup_def

Modification history