Theorem vectorSpan_pair

Modification history