Back to 2023
@mikiobraun
Mikio Braun
@mikiobraun
Replying to @francoisfleuret
The way I learned it, ℕ is {1,2,3,...} and if you want zero in it, you write ℕ_0.