Theorem Basis.le_span

Modification history