Theorem isLUB_Ioc

Modification history