Metamath Proof Explorer

Syntax definition cigam

Description: The inverse Gamma function.

Ref Expression
Assertion cigam 
class 1/_G