De Rham theorem for Whitney functions

Abstract

Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F .