Theorem AffineIndependent.finrank_vectorSpan_image_finset

Modification history