Theorem Basis.ofSpan_subset

Modification history