Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.tensor_iso

Modification history

2020-10-15 07:30
src/category_theory/monoidal/category.lean
chore(category_theory/monoidal): fix typo in docstrings (#4625)
Modified category_theory.tensor_isoView on Github →
2019-08-20 23:38
src/category_theory/monoidal/category.lean
chore(category_theory/monoidal): monoidal_category doesn't extend category (#1338) …
Modified category_theory.tensor_isoView on Github →
2019-06-11 19:10
src/category_theory/monoidal/category.lean
fix(category_theory): simplifying universes (#1122)
Modified category_theory.tensor_isoView on Github →
2019-05-30 12:43
src/category_theory/monoidal/category.lean
feat(category_theory/monoidal): monoidal categories, monoidal functors (#1002) …
Added category_theory.tensor_isoView on Github →