Theorem Matroid.eRank_restrict

Modification history