Def LieModule.shiftedGenWeightSpace.shift

Modification history

2024-08-17 15:02

Mathlib/Algebra/Lie/Weights/Linear.lean

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

Added LieModule.shiftedGenWeightSpace.shift View on Github →