Theorem Matroid.Basis.finite_iff_isRkFinite

Modification history