Theorem AlgebraicIndependent.isTranscendenceBasis_of_lift_trdeg_le_of_finite

Modification history