Def LieModule.shiftedWeightSpace

Modification history

2024-08-17 15:02

Mathlib/Algebra/Lie/Weights/Linear.lean

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

Deleted LieModule.shiftedWeightSpace View on Github →

2023-11-29 19:15

Mathlib/Algebra/Lie/Weights/Linear.lean

feat: generalise results about Lie module weight spans from Abelian to nilpotent Lie algebras (#8718)

Added LieModule.shiftedWeightSpace View on Github →