Theorem Matroid.IsRkFinite.isRkFinite_union_iff

Modification history