algebraMap_eq_diagonal — Mathlib · SciLib

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

algebraMap_eq_diagonal

Mathlib.Data.Matrix.Basic

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

← MathLib Explorer