Theorem weightedVSub_mem_vectorSpan_pair

Modification history