Theorem AffineIndependent.finrank_vectorSpan_add_one

Modification history