formatting tweaks for derivatives notes
Add a proposition characterizing which subsets of a metric space are connected as subspaces