Theorem lt_isGLB_iff

Modification history