Q-expression-operator DERIV

• Defined in theory: Dme-kb
• No source file available.

Slots on this q-expression-operator:

Documentation: Deriv ?????

Instance-Of: Q-expression-operator