Theorem isLUB_empty

Modification history