Theorem iSup_const_le

Modification history