Theorem sup_strictMonoOn_Icc_inf

Modification history