Theorem Algebra.IsAlgebraic.isTranscendenceBasis_of_lift_le_trdeg

Modification history