Source: wikibot/sipser-lautemann-theorem

= Sipser–Lautemann theorem
{wiki=Sipser–Lautemann_theorem}