Theorem isGLB_upperBounds

Modification history