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