Theorem AlgebraicIndependent.isTranscendenceBasis_of_trdeg_le

Modification history