Theorem Matroid.restrict_eRk_eq

Modification history