Def category_theory.adjunction.id
Modification history
2019-09-01 11:29
src/category_theory/adjunction/basic.lean
chore(category_theory/notation): consistently use notation for functor.id (#1378) …
Modified category_theory.adjunction.idView on Github →