Theorem inf_strictMonoOn_Icc_sup

Modification history