Assertion: derivative | /r/HasProperty | linear operator
Facets:
value: in formal terms
type: MANNER
Source sentences:
text: In formal terms, the derivative is a linear operator which takes a function as its input and produces a second function as its output.
text: Furthermore, the derivative is a linear transformation, a different type of object from both the numerator and denominator.