Theorem Matroid.eRk_closure_eq

Modification history