Source: /wikibot/savitch-s-theorem

= Savitch's theorem
{wiki=Savitch's_theorem}