The C1 generic diffeomorphism has trivial centralizer

Answering a question of Smale, we prove that the space of C1 diffeomorphisms of a compact manifold contains a residual subset of diffeomorphisms whose centralizers are trivial.