Theorem compl_sSup

Modification history