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 25568

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

**Assertion**
Ref	Expression
cem	class γ

See definition df-em 25569 for more information.

Colors of variables: wff setvar class