Theorem Matroid.Basis'.finite_iff_isRkFinite

Modification history