Real-number THE-EXPONENTIATION-CONSTANT-E

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this real-number:

Documentation:

The constant often called 'e' using in exponentiation.

Instance-Of: Real-number

Other Related Axioms:

(<- (Exp ?X) (Expt The-Exponentiation-Constant-E ?X))