Theorem Matroid.restrict_dep_iff

Modification history