Theorem Matroid.setOf_indep_eq

Modification history