∫ Утверждение Mathlib
eigenvalues_self_mul_conjTranspose_nonneg
Mathlib.LinearAlgebra.Matrix.PosDef
URI: https://scilib.ai/kg/mathlib#Matrix.eigenvalues_self_mul_conjTranspose_nonneg
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Matrix.PosDef
URI: https://scilib.ai/kg/mathlib#Matrix.eigenvalues_self_mul_conjTranspose_nonneg