Def LieModule.shiftedWeightSpace.shift

Modification history

2024-08-17 15:02
Mathlib/Algebra/Lie/Weights/Linear.lean
chore(Algebra/Lie): rename weightSpace to genWeightspace (#15911) …
Deleted LieModule.shiftedWeightSpace.shiftView on Github →
2023-11-30 16:55
Mathlib/Algebra/Lie/Weights/Linear.lean
feat: existence of simultaneous eigenvectors given simultaneous generalized eigenvectors for Lie modules (#8745)
Modified LieModule.shiftedWeightSpace.shiftView 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.shiftView on Github →