Database
REAL AND COMPLEX NUMBERS
Elementary trigonometry
The exponential, sine, and cosine functions
ce
Next ⟩
ceu
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ce
Description:
Extend class notation to include the exponential function.
Ref
Expression
Assertion
ce
$${class}\mathrm{exp}$$