Finished proving that we have an element of the new de rham cohomology
Started to makes Bernhard's edits
Continued to make edits/corrections, up to and including proof of faithful action
added more edits from Bernhards corrections
some more edits -finished bernhards edits