Grauert's Approximation Theorem in any Characteristic and Applications

In his seminal Inventiones paper from 1972 Grauert proved the existence of a semiuniversal deformation of an arbitrary complex analytic isolated singularity. For the proof he invented an approximation theorem for solving a system of "nested" analytic equations, which is now called Grauert's approxim