Theorem Algebra.IsAlgebraic.isTranscendenceBasis_of_le_trdeg_of_finite

Modification history