Theorem lt_sup_iff

Modification history