Metamath Proof Explorer


Syntax definition cgam

Description: The Gamma function.

Ref Expression
Assertion cgam
class _G