Theorem Matroid.IsRkFinite.inter_right

Modification history