Concept: The derivative is a linear operator (editing)

Prerequisite concepts

The derivative is a linear operator

FIXME