∫ Утверждение Mathlib
comp_of_image
Mathlib.LinearAlgebra.LinearIndependent.Basic
URI: https://scilib.ai/kg/mathlib#LinearIndepOn.comp_of_image
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.LinearIndependent.Basic
URI: https://scilib.ai/kg/mathlib#LinearIndepOn.comp_of_image