Theorem AlgebraicIndependent.matroid_spanning_iff

Modification history