Started edits from Bernhard on de rham cohomology section