`BookProof.ComputableScarcity.exists_infinitely_often_ne` (e : ℕ → (ℕ → ℕ)) : ∃ f : ℕ → ℕ, ∀ k, {n

Initializing...

`BookProof.ComputableScarcity.exists_infinitely_often_ne` (e : ℕ → (ℕ → ℕ)) : ∃ f : ℕ → ℕ, ∀ k, {n | f n ≠ e k n}.Infinite · Prove2Me