Theorem category_theory.types_comp
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_compView 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_compView on Github →2019-05-23 13:50
src/category_theory/types.lean
chore(CommRing/adjunctions): refactor proofs (#1049) …
Modified category_theory.types_compView on Github →