Rewrite the proof of the Heine-Borel theorem
Move derivatives notes to their own page. Overhaul them by using Zorich's formulation