linearIndependent — Mathlib · SciLib

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

linearIndependent

Mathlib.LinearAlgebra.Basis.VectorSpace

URI: https://scilib.ai/kg/mathlib#Module.Basis.ofVectorSpaceIndex.linearIndependent

← MathLib Explorer