Theorem isGLB_lt_iff

Modification history