Theorem Matroid.IsBasis.isBase_of_isBase_subset

Modification history