Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Euler-Mascheroni constant
cem
Next ⟩
df-em
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cem
Description:
The Euler-Mascheroni constant. (The label abbreviates Euler-Mascheroni.)
Ref
Expression
Assertion
cem
class
γ