Theorem AlgebraicIndependent.isTranscendenceBasis_iff_isAlgebraic

Modification history