Poincare lemma

Poincaré Lemma

If a differential form $\omega \in {\Omega }^k(M)$, is closed, then for each $m\in M$ there is a neighborhood $U$ of $m$ for which $\omega {|}_U\in {\Omega }^k(U)$ is exact.

Proof

todo