Comment on Zero to hero
I was taught ℕ did not contain 0 and that ℕ₀ is ℕ with 0.
ℕ₀* is ℕ with 0 without 0
Eylrid@lemmy.world 8 months ago
ℕ₀* is ℕ with 0 without 0