Theorem Basis.coe_ofSpan

Modification history