Theorem GaloisConnection.u_l_u_eq_u

Modification history