Theorem Matroid.Spanning.eRank_restrict

Modification history