Metrics without isometries are generic

We prove that for any compact manifold of dimension greater than $1$, the set of pseudo-Riemannian metrics having a trivial isometry group contains an open and dense subset of the space of metrics.