Total derivative operator

See Cartan distribution#Vector fields description.
See also total vector fields.