Def LieModule.preWeightSpace

Modification history

2023-09-18 18:26

Mathlib/Algebra/Lie/Weights.lean

chore: refactor Lie algebra weight spaces (#7210) …

Deleted LieModule.preWeightSpace View on Github →

2023-06-14 07:38

Mathlib/Algebra/Lie/Weights.lean

feat: port Algebra.Lie.Weights (#4988)

Added LieModule.preWeightSpace View on Github →