Full generic regularity II for min-max minimal hypersurfaces

Let $M^{n+1}$ be a closed smooth manifold, and let $g$ be a Baire $C^\infty$-generic Riemannian metric on $M$. A min-max $g$-minimal hypersurface is a minimal hypersurface generated by min-max theory. Full generic regularity II. Every min-max $g$-minimal hypersurface is smooth. This extends the preceding generic regularity conjecture from area minimizers to min-max minimal hypersurfaces, which are not generally area minimizing. The conjecture is relevant to extending generic regularity and density results to higher dimensions.