Theorem sSup_prod

Modification history