Theorem isGLB_pi

Modification history