Theorem Matroid.StrictRestriction.ne

Modification history