Theorem isGLB_pair

Modification history