Theorem sSup_div

Modification history