Theorem Matroid.IsBasis.base_of_base_subset

Modification history