Theorem Matroid.IsBasis.restrict_base

Modification history