Metamath Proof Explorer


Syntax definition clgam

Description: Logarithm of the Gamma function.

Ref Expression
Assertion clgam class log Γ