English
The radius of the ordinary hypergeometric series is top (infinite) when a parameter is a negative integer k with -k ∈ ℕ.
Русский
Радиус обыкновенного гипергеометрического ряда бесконечен, если один параметров является отрицательным целым k.
LaTeX
$$$\\text{radius}( \\text{ordinaryHypergeometricSeries}(a,b,c) ) = \\top$ when appropriate neg_nat conditions hold$$
Lean4
@[macro term₂F₁]
public meta def _aux_Mathlib_Analysis_SpecialFunctions_OrdinaryHypergeometric___macroRules_term₂F₁_1 : Macro✝ := fun
| `(₂F₁) => ``(ordinaryHypergeometric)
| _ => no_error_if_unused% throw✝ Lean.Macro.Exception.unsupportedSyntax✝
