Def LieModule.genWeightSpaceOf

Modification history

2025-01-08 05:27

Mathlib/Algebra/Lie/Weights/Basic.lean

chore(Algebra/Lie): make IsNilpotent and IsSolvable independent of scalars (#20556)

Modified LieModule.genWeightSpaceOf View on Github →

2024-08-17 15:02

Mathlib/Algebra/Lie/Weights/Basic.lean

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

Added LieModule.genWeightSpaceOf View on Github →