Theorem GaloisConnection.l_comm_iff_u_comm

Modification history