A definition of the exterior derivative in terms of Lie derivatives | Synapse