Theorem mem_span_insert_exchange

Modification history