Theorem Matroid.IsBasis.restrict_isBase

Modification history