Theorem AlgebraicIndependent.isTranscendenceBasis_of_trdeg_le_of_finite

Modification history