Toda's theorem (source code)

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

Toda's theorem is a significant result in computational complexity theory, which establishes a relationship between different complexity classes.