Def Representation.invariants

Modification history

2023-07-02 17:59

Mathlib/RepresentationTheory/Invariants.lean

feat: port RepresentationTheory.Invariants (#5655)

Added Representation.invariants View on Github →