formulas to remember
Merge branch 'master' of github.com:bmalehorn/21-355-lemmas