Mathlib v3 is deprecated. Go to Mathlib v4

Theorem galois_insertion.strict_mono_u

Modification history

2021-05-13 15:18
src/order/galois_connection.lean
chore(order/galois_connection): ask for the correct instances (#7594) …
Modified galois_insertion.strict_mono_uView on Github →
2020-08-03 19:22
src/order/galois_connection.lean
feat(order/galois_connection): galois_coinsertions (#3656)
Added galois_insertion.strict_mono_uView on Github →