Def LieModule.Weight.equivSetOfPred

Modification history

2026-07-17 09:57

Mathlib/Algebra/Lie/Weights/Basic.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Added LieModule.Weight.equivSetOfPred View on Github →