Density of minimal hypersurfaces for generic metrics

For almost all Riemannian metrics (in the $C^{\mathrm{\infty }}$ Baire sense) on a closed manifold $M^{n+1}$, $3\le (n+1)\le 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics.