Theorem Action.tensor_ρ

Modification history

2024-09-16 12:43

Mathlib/RepresentationTheory/Action/Monoidal.lean

refactor(Mathlib/CategoryTheory/Monoidal/Transport): remove `simps` at `transport` (#16819) …

Added Action.tensor_ρ View on Github →