Theorem LieAlgebra.IsKilling.traceForm_coroot

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