term₂F₁ — Mathlib

English

The sum over n of the hypergeometric coefficient times x^n equals the value of the ordinary hypergeometric map.

Русский

Сумма по n коэффициента гипергеометрии, умноженного на x^n, равна значению гипергеометрического отображения.

LaTeX

$$$\\text{sum}_{n\\ge 0} \\Big( (n!^{-1}) (ascPochhammer(n))^a (ascPochhammer(n))^b ((ascPochhammer(n))^c)^{-1} \\Big) x^n$$

Lean4

@[inherit_doc ordinaryHypergeometric, term_parser 1000]
public meta def term₂F₁ : Lean.ParserDescr✝ :=
  ParserDescr.node✝ `term₂F₁ 1024 (ParserDescr.symbol✝ "₂F₁")

Похожие утверждения