Theorem Matroid.eRank_loopyOn

Modification history