Theorem strictMono_inf_prod_sup

Modification history