:~> package:vector-space

Infinitely differentiable functions