Theorem AlgebraicIndependent.isTranscendenceBasis_of_lift_trdeg_le

Modification history