Theorem Matroid.Base.isBasis_of_isRestriction

Modification history