Shortened proof of basis of H^1
Wrote statement of Mittag Leffler corollary
Error for previous commit, so wouldn't compile
End of day changewill s