Theorem isLUB_singleton

Modification history