Theorem Action.tensorHom

Modification history

2023-11-07 14:42

Mathlib/RepresentationTheory/Action.lean

feat(CategoryTheory/Monoidal): add lemmas for whiskering operators (#8191) …

Deleted Action.tensorHom View on Github →

2023-06-06 18:52

Mathlib/RepresentationTheory/Action.lean

feat: port RepresentationTheory.Action (#4700)

Added Action.tensorHom View on Github →