Theorem Representation.asAlgebraHom_def

Modification history

2026-01-03 10:24

Mathlib/RepresentationTheory/Basic.lean

chore(Algebra/MonoidAlgebra/Basic): rename variables (#33516) …

Modified Representation.asAlgebraHom_def View on Github →

2023-05-23 17:21

Mathlib/RepresentationTheory/Basic.lean

feat: port RepresentationTheory.Basic (#4240)

Added Representation.asAlgebraHom_def View on Github →