General clean up of derivatives notes. In particular, redo part of the proof that derivatives are unique