Theorem Matroid.IsRkFinite.isRkFinite_diff_iff

Modification history