Theorem isLUB_pair

Modification history