Declaration of required theorem (may be redundant)
Update the skeleton file
Merge branch 'master' of https://github.com/siddhartha-gadgil/MetricGeometryCourse