Theorem Matroid.basis_self_iff_indep

Modification history