∫ Утверждение Mathlib
toDirectSum_ι
Mathlib.LinearAlgebra.TensorAlgebra.ToTensorPower
URI: https://scilib.ai/kg/mathlib#TensorAlgebra.toDirectSum_ι
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.TensorAlgebra.ToTensorPower
URI: https://scilib.ai/kg/mathlib#TensorAlgebra.toDirectSum_ι