Mathlib v3 is deprecated. Go to Mathlib v4

Def galois_connection.adjunction

Modification history

2022-11-04 18:51
src/category_theory/category/galois_connection.lean
chore(category_theory/category/preorder): split material on galois connections (#17339) …
Modified galois_connection.adjunctionView on Github →
2021-09-04 06:46
src/category_theory/category/preorder.lean
feat(category_theory/basic/category): Combine and improve API on preorder categories. (#8982) …
Added galois_connection.adjunctionView on Github →