Theorem finrank_vectorSpan_insert_le_set

Modification history