Theorem Matroid.IsRkFinite.inter_ground

Modification history