deriv (English, noun)
expansion: deriv
Senses:
glosses: Abbreviation of derivation.
tags: abbreviation
alt-of
Forms: