Theorem Matroid.basis_iff_basis'_subset_ground

Modification history