Translating the last part of the topology/vector calculus investigation into the language of differential forms. I don't bother to reprove much, partly since...
differential forms, vector calculus, topology, closed, exact, boundary, divergence, curl