Class
EVERYWHERE-CONTINUOUS-QUANTITY
Defined in theory:
Cml
Source code:
cml.lisp
Slots on this class:
Subclass-Of
:
Piecewise-continuous-quantity
Notes:
Should restrict the definition to apply to the dense intervals over which ?x is defined.