poo. added some continuity stuff
Merge branch 'master' of github.com:bmalehorn/21-355-lemmas
fixed a typo
fixed a typo