Theorem Matroid.eq_eRk_iff

Modification history