Theorem vsub_mem_vectorSpan_of_mem_spanPoints_of_mem_spanPoints

Modification history

2023-03-24 13:23
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace.lean
feat: port LinearAlgebra.AffineSpace.AffineSubspace (#2923)
Added vsub_mem_vectorSpan_of_mem_spanPoints_of_mem_spanPointsView on Github →