Theorem Matroid.IsBase.isBasis_of_isRestriction

Modification history