Add differentiability definition.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 19 Oct 2018 14:33:53 +0000 (16:33 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 19 Oct 2018 14:33:53 +0000 (16:33 +0200)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

No differences found