Theorem Basis.le_span''

Modification history