Relation
DERIVATIVE
Arity
:
2
Axioms:
(
=
(
Inverse
Derivative-Of
)
Derivative
)
Defined in theory:
Substances
Source code:
Substances.lisp