`BookProof.ComputableScarcity.exists_code_of_computable` {f : ℕ → ℕ} (hf : Computable f) : ∃ c : Code, evalTotal c = f

Initializing...

`BookProof.ComputableScarcity.exists_code_of_computable` {f : ℕ → ℕ} (hf : Computable f) : ∃ c : Code, evalTotal c = f · Prove2Me