diag_add — Mathlib · SciLib

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

diag_add

Mathlib.Data.Matrix.Diagonal

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

← MathLib Explorer