Theorem affineIndependent_iff_not_finrank_vectorSpan_le

Modification history