∫ Утверждение Mathlib
injOn_maxGenEigenspace
Mathlib.LinearAlgebra.Eigenspace.Basic
URI: https://scilib.ai/kg/mathlib#Module.End.injOn_maxGenEigenspace
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Eigenspace.Basic
URI: https://scilib.ai/kg/mathlib#Module.End.injOn_maxGenEigenspace