∫ Утверждение Mathlib
vecMul_injective_of_isUnit
Mathlib.Data.Matrix.Mul
URI: https://scilib.ai/kg/mathlib#Matrix.vecMul_injective_of_isUnit
∫ Утверждение Mathlib
Mathlib.Data.Matrix.Mul
URI: https://scilib.ai/kg/mathlib#Matrix.vecMul_injective_of_isUnit