Theorem Matroid.eRk_insert_closure_eq

Modification history