Theorem LieAlgebra.IsKilling.orthogonal_span_coroot_eq_ker

Modification history

2024-05-25 14:56
Mathlib/Algebra/Lie/Weights/Killing.lean
feat: equality of coroots implies equality of roots for Lie algebras (#13208) …
Added LieAlgebra.IsKilling.orthogonal_span_coroot_eq_kerView on Github →