Theorem mem_span_finset

Modification history