Definition df-e 13804

Description: Define Euler's constant 2.71828.... (Contributed by NM, 14-Mar-2005.)

Assertion

Ref	Expression
df-e

Detailed syntax breakdown of Definition df-e

Step	Hyp	Ref	Expression
1		ceu 13798	. 2
2		c1 9514	. . 3
3		ce 13797	. . 3
4	2, 3	cfv 5593	. 2
5	1, 4	wceq 1395	1

This definition is referenced by:  esum  13816  ere  13824  ege2le3  13825  efzval  13837  loge  22971  logdivlti  23005  emgt0  23336  pntpbnd1a  23770  ex-co  25159  subfaclim  28632