Theorem Matroid.isRkFinite_insert_iff

Modification history