Theorem RingCon.sSup_def

Modification history