Theorem Matroid.Basis'.isRkFinite_of_finite

Modification history