Theorem Representation.single_smul

Modification history

2025-03-11 13:02

Mathlib/RepresentationTheory/Basic.lean

feat: define irreducible root systems / pairings (#22803)

Added Representation.single_smul View on Github →