cem - Metamath Proof Explorer

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

Syntax Definition cem 20286

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

**Assertion**
Ref	Expression
cem

See definition df-em 20287 for more information.

Colors of variables: wff set class