Theorem Matroid.eRk_union_closure_right_eq

Modification history