Metamath Proof Explorer


Syntax definition clgam

Description: Logarithm of the Gamma function.

Ref Expression
Assertion clgam
class log_G