cem - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cem		Structured version Visualization version GIF version

Syntax Definition cem 26046

Description: The Euler-Mascheroni constant. (The label abbreviates Euler-Mascheroni.)

**Assertion**
Ref	Expression
cem	class γ

See definition df-em 26047 for more information.

Colors of variables: wff setvar class