Theorem Matroid.IsBasis.insert_isBasis_insert_of_not_mem_closure

Modification history