Abstract: While a symplectic quotient coming from a Hamiltonian action of a compact Lie group is generally not a manifold (it is a stratified space), one can still define a notion of differential form on it. Indeed, one can obtain a de Rham Theorem, Poincaré Lemma, and a version of Stokes' Theorem using this de Rham complex of forms. I will show how these forms are defined, and then explore the question of intrinsicality of the complex. This question leads into a discussion of different definitions of a smooth structure on the quotient, and the pros and cons of each