Theorem finrank_vectorSpan_insert_le

Modification history