Theorem isGLB_empty_iff

Modification history