Theorem category_theory.types_hom
Modification history
2020-04-11 09:58
src/category_theory/types.lean
chore(category_theory/types): add documentation, remove bad simp lemmas and instances, add notation for functions as morphisms (#2383) …
Modified category_theory.types_homView on Github →2019-09-17 15:50
src/category_theory/types.lean
fix(category_theory): require morphisms are in Type, again (#1412) …
Modified category_theory.types_homView on Github →2019-04-01 16:13
src/category_theory/types.lean
feat(category_theory): working in Sort rather than Type (#824)
Modified category_theory.types_homView on Github →