Theorem GaloisConnection.le_u_l_trans

Modification history