Theorem mem_vectorSpan_pair

Modification history