Theorem Matroid.restrict_eRk_eq'

Modification history