Theorem Matroid.Indep.basis_self

Modification history