Theorem Matroid.Base.basis_of_subset

Modification history