Finished inline edits from Bernhard
Started to work on combining the two separate de Rham cohomology sections