Theorem LieAlgebra.IsKilling.coroot_eq_iff

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.coroot_eq_iffView on Github →