Theorem vectorSpan_insert_eq_vectorSpan

Modification history