Theorem GaloisConnection.exists_eq_u

Modification history