Theorem Matroid.IsRkFinite.inter_left

Modification history