Theorem IsGLB.nonempty

Modification history