Theorem isLUB_inv'

Modification history