Theorem Matroid.Indep.exists_base_subset_union_base

Modification history