This is an inofficial mirror of http://metamath.tirix.org for personal testing of a visualizer extension only.
Metamath Proof Explorer
Syntax definition ceu
Description: Extend class notation to include Euler's constant _e = 2.71828....
|
|
Ref |
Expression |
|
Assertion |
ceu |
class _e |