Theorem Matroid.eq_loopyOn_or_rankPos

Modification history