Metamath Proof Explorer


Syntax definition cigam

Description: The inverse Gamma function.

Ref Expression
Assertion cigam class 1 Γ