Def Representation.asModule

Modification history

2026-03-02 16:30

Mathlib/RepresentationTheory/Basic.lean

chore(RepresentationTheory/Basic): generalise to Semiring (#35981)

Modified Representation.asModule View on Github →

2023-05-23 17:21

Mathlib/RepresentationTheory/Basic.lean

feat: port RepresentationTheory.Basic (#4240)

Added Representation.asModule View on Github →