Def CategoryTheory.tensorIso

Modification history

2024-08-29 18:57

Mathlib/CategoryTheory/Monoidal/Category.lean

feat(CategoryTheory/Monoida): add lemmas for `tensorIso` (#15681) …

Deleted CategoryTheory.tensorIso View on Github →

2023-02-18 19:03

Mathlib/CategoryTheory/Monoidal/Category.lean

feat: port CategoryTheory.Monoidal.Category (#2318)

Added CategoryTheory.tensorIso View on Github →