  For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed
manifold $M^{n+1}$, $3\leq (n+1)\leq 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.
