Polar de Rham theorem for smooth projective manifolds
Polar de Rham theorem. The mapping ρ\rhoρ is an isomorphism. Equivalently,