Theorem AlgebraicIndependent.isAlgebraic_adjoin_iff_of_matroid_isBasis

Modification history