Theorem GaloisConnection.isGLB_u_image

Modification history