Theorem finrank_vectorSpan_le_iff_not_affineIndependent

Modification history