Theorem isGLB_inv'

Modification history