Theorem AlgebraicIndependent.matroid_indep_iff

Modification history