Definition df-e

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

	Ref	Expression
Assertion	df-e	$$⊢\mathrm{e}={\mathrm{e}}^1$$

Detailed syntax breakdown

Step	Hyp	Ref	Expression
0		ceu	$$class\mathrm{e}$$
1		ce	$$class\exp$$
2		c1	$$class1$$
3	2 1	cfv	$$class{\mathrm{e}}^1$$
4	0 3	wceq	$$wff\mathrm{e}={\mathrm{e}}^1$$