P
Initializing...
`BookProof.ComputableScarcity.uncountable_natFun` : ¬ Countable (ℕ → ℕ) · Prove2Me