Mathlib v3 is deprecated. Go to Mathlib v4

Def galois_connection

Modification history

2021-05-13 15:18
src/order/galois_connection.lean
chore(order/galois_connection): ask for the correct instances (#7594) …
Modified galois_connectionView on Github →
2017-08-11 18:26
order/galois_connection.lean
add Galois connection, also add a couple of order theoretic results
Added galois_connectionView on Github →