De Rham complex

Definition
Given a differential manifold $$X$$, the de Rham complex is a chain cocomplex of $$X$$ is defined as follows:


 * The $$n^{th}$$ chain group is defined as the group of differential forms of order $$n$$ under addition.
 * The boundary map is the de Rham derivative.