Theorem isLUB_prod

Modification history