Theorem Rep.linearization_ε_hom

Modification history

2024-11-10 22:57

Mathlib/RepresentationTheory/Rep.lean

refactor(CategoryTheory/Monoidal): typeclasses Functor.LaxMonoidal, Functor.OplaxMonoidal and Functor.Monoidal (#17904) …

Modified Rep.linearization_ε_hom View on Github →

2023-06-21 09:25

Mathlib/RepresentationTheory/Rep.lean

feat: port RepresentationTheory.Rep (#5041)

Added Rep.linearization_ε_hom View on Github →