∫ Утверждение Mathlib
range_ofSpan
Mathlib.LinearAlgebra.Basis.VectorSpace
URI: https://scilib.ai/kg/mathlib#Module.Basis.range_ofSpan
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Basis.VectorSpace
URI: https://scilib.ai/kg/mathlib#Module.Basis.range_ofSpan