Theorem Matroid.restrict_restrict_eq

Modification history