Template:Differential operator property

From Diffgeom

This article defines a property that can be evaluated for a differential operator on a differential manifold (viz a linear map from the space of differentiable functions to itself)