P
Initializing...
`BookProof.ComputableScarcity.countable_computable` : {f : ℕ → ℕ | Computable f}.Countable · Prove2Me