linearIndependent_span — Mathlib · SciLib

∫ Утверждение Mathlib

linearIndependent_span

Mathlib.LinearAlgebra.LinearIndependent.Basic

URI: https://scilib.ai/kg/mathlib#linearIndependent_span

← MathLib Explorer