Theorem Algebra.IsAlgebraic.isTranscendenceBasis_of_le_trdeg

Modification history