The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Case Distinction Lemma
Let be a Question with answers and be Partial Functions for .
If is answered by a Register Machine and is performed by register machines then we can construct a register machine that performs the operation given by