Def category_theory.iso.app
Modification history
2020-09-14 08:03
src/category_theory/natural_isomorphism.lean
doc(category_theory/natural_isomorphism): documentation and cleanup (#4120)
Modified category_theory.iso.appView on Github →2020-07-14 15:06
src/category_theory/natural_isomorphism.lean
chore(category_theory/natural_isomorphism): move lemmas to correct namespace, add simp lemma (#3401)
Modified category_theory.iso.appView on Github →