Theorem GaloisConnection.exists_eq_l

Modification history