Theorem lt_iSup_iff

Modification history