Theorem GaloisConnection.isGLB_l

Modification history