Theorem Matroid.eq_loopyOn_iff_eRank

Modification history