Theorem finrank_vectorSpan_range_add_one_le

Modification history