Theorem gc_sSup_Iic

Modification history