Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.nat_trans.vcomp_app

Modification history

2020-02-21 17:46
src/category_theory/natural_transformation.lean
feat(tactic/lint): check that left-hand side of all simp lemmas is in simp-normal form (#2017) …
Modified category_theory.nat_trans.vcomp_appView on Github →
2019-04-10 07:17
src/category_theory/natural_transformation.lean
fix(category_theory): make the `nat_trans` arrow `⟹` a synonym for the `hom` arrow (#907) …
Modified category_theory.nat_trans.vcomp_appView on Github →
2018-11-08 10:16
category_theory/natural_transformation.lean
feat(category_theory): propose removing coercions from category_theory/ (#463)
Modified category_theory.nat_trans.vcomp_appView on Github →
2018-08-07 06:43
category_theory/natural_transformation.lean
feat(category_theory): basic definitions (#152) …
Added category_theory.nat_trans.vcomp_appView on Github →