Sipser-Gacs-Lautemann theorem

Summary