Theorem LinearMap.toMatrix_pow

Modification history

2023-09-04 22:10
Mathlib/LinearAlgebra/Matrix/ToLin.lean
feat: further theory about the Killing form of Lie algebras (#6737)
Added LinearMap.toMatrix_powView on Github →