Theorem lt_isLUB_iff

Modification history