Def Locale.adjunctionTopToLocalePT

Modification history

2024-09-10 12:58
Mathlib/Topology/Order/Category/FrameAdjunction.lean
refactor(CategoryTheory/Adjunction): switch to unit-counit definition of adjunction (#16317) …
Modified Locale.adjunctionTopToLocalePTView on Github →
2023-10-21 09:35
Mathlib/Topology/Order/Category/FrameAdjunction.lean
feat: Adjunction between topological spaces and locales (#4593) …
Added Locale.adjunctionTopToLocalePTView on Github →