Talk:Function Obtained by Minimization from URM Computable Functions

From ProofWiki
Jump to navigation Jump to search

You are correct about the notation; I checked the page for minimization, but didn't scroll down to the part about partial functions. My bad! --CircuitCraft (talk) 00:01, 24 March 2023 (UTC)