Theorem affineIndependent_iff_finrank_vectorSpan_eq

Modification history