Real-number
THE-EXPONENTIATION-CONSTANT-E
The constant often called 'e' using in exponentiation.
Instance-Of
:
Real-number
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp