Theorem isLUB_inv

Modification history