∫ Утверждение Mathlib
replicateCol_injective
Mathlib.LinearAlgebra.Matrix.RowCol
URI: https://scilib.ai/kg/mathlib#Matrix.replicateCol_injective
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Matrix.RowCol
URI: https://scilib.ai/kg/mathlib#Matrix.replicateCol_injective