URM_Instructions_are_Countably_Infinite
Provedcomputabilityproofwikiurm-programs
The set of all basic URM instructions is countably infinite.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem URM_Instructions_are_Countably_Infinite : ∃ (f : ℕ → ℕ), Function.Bijective f := by sorry
Source