Theorem iSup_const_mono

Modification history