diag_single_of_ne — Mathlib · SciLib

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

diag_single_of_ne

Mathlib.Data.Matrix.Basis

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

← MathLib Explorer