Assumptions:
TeX:
\Gamma(n) = \left(n - 1\right)!
n \in \mathbb{C} \setminus \{0, -1, \ldots\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Gamma | Gamma function | |
| Factorial | Factorial | |
| CC | Complex numbers | |
| ZZLessEqual | Integers less than or equal to n |
Source code for this entry:
Entry(ID("f1d31a"),
Formula(Equal(Gamma(n), Factorial(Sub(n, 1)))),
Variables(n),
Assumptions(Element(n, SetMinus(CC, ZZLessEqual(0)))))