Theorem Matroid.Restriction.rankFinite

Modification history