isDiag_iff_diagonal_diag — Mathlib · SciLib

∫ Утверждение Mathlib

isDiag_iff_diagonal_diag

Mathlib.LinearAlgebra.Matrix.IsDiag

URI: https://scilib.ai/kg/mathlib#Matrix.isDiag_iff_diagonal_diag

← MathLib Explorer