Theorem isLUB_empty_iff

Modification history