Theorem isTranscendenceBasis_iff_algebraicIndependent_isAlgebraic

Modification history