On subcartesian spaces Leibniz' rule implies the chain rule
arXiv:1903.10004
Abstract
We show that derivations of the differential structure of a subcartesian space satisfy the chain rule and have maximal integral curves.
Section on vector fields added