Theorem RootPairing.coxeterWeightIn_le_four
Modification history
2025-04-10 16:38
Mathlib/LinearAlgebra/RootSystem/Finite/Lemmas.lean
chore: deprecate semibundled ordered algebraic typeclasses (#20676) …
Modified RootPairing.coxeterWeightIn_le_fourView on Github →