Theorem vectorSpan_empty

Modification history