Theorem AlgebraicIndependent.matroid_isBasis_iff

Modification history