Theorem finrank_vectorSpan_image_finset_le

Modification history