Metamath Proof Explorer


Syntax definition ceu

Description: Extend class notation to include Euler's constant _e = 2.71828....

Ref Expression
Assertion ceu class e