Theorem affineIndependent_iff_le_finrank_vectorSpan

Modification history