Theorem Matroid.RankFinite.isRkFinite

Modification history