Def LieModule.Weight.equivSetOf

Modification history

2024-08-17 15:02

Mathlib/Algebra/Lie/Weights/Basic.lean

chore(Algebra/Lie): rename weightSpace to genWeightspace (#15911) …

Modified LieModule.Weight.equivSetOf View on Github →

2024-04-20 13:53

Mathlib/Algebra/Lie/Weights/Basic.lean

feat: define the coroots of a semisimple Lie algebra (#10893) …

Added LieModule.Weight.equivSetOf View on Github →