← all areas

Namespace RatFunc 3 theorems

• Möbius substitutions are K-automorphisms of K(X) RatFunc.exists_algEquiv_apply_X_eq_moebius 0 below · cited by 3 · depth 10
• The rational function field has transcendence degree one RatFunc.trdeg_eq_one 0 below · cited by 2 · depth 22
• Uniqueness in ℂ(X) of a Dirichlet-series rational form RatFunc.X_zpow_mul_div_eq_of_forall_lt_re_mul_eval_cpow_neg_eq 0 below · cited by 5 · depth 26