Def category_theory.instances.Top.adj₂
Modification history
2019-05-31 06:43
src/topology/Top/adjunctions.lean
chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074) …
Deleted category_theory.instances.Top.adj₂View on Github →2019-05-14 20:21
src/category_theory/instances/Top/adjunctions.lean
feat(category_theory): adjoint equivalences and limits under equivalences (#986) …
Modified category_theory.instances.Top.adj₂View on Github →