Theorem vectorSpan_def

Modification history