Theorem GaloisConnection.l_u_l_eq_l

Modification history