Structure category_theory.nat_trans
Modification history
2020-06-26 07:16
src/category_theory/natural_transformation.lean
chore(category/*): linting (#3178) …
Modified category_theory.nat_transView on Github →2020-01-29 18:36
src/category_theory/natural_transformation.lean
chore(category_theory): use the new @[ext] attribute on structures (#1663) …
Modified category_theory.nat_transView on Github →2019-09-17 15:50
src/category_theory/natural_transformation.lean
fix(category_theory): require morphisms are in Type, again (#1412) …
Modified category_theory.nat_transView on Github →2019-06-11 19:10
src/category_theory/natural_transformation.lean
fix(category_theory): simplifying universes (#1122)
Modified category_theory.nat_transView on Github →2019-04-01 16:13
src/category_theory/natural_transformation.lean
feat(category_theory): working in Sort rather than Type (#824)
Modified category_theory.nat_transView on Github →