Theorem AlgebraicIndependent.matroid_isBase_iff

Modification history