Notation

At some point when I was writing these notes, I switched from using ℕ to exclude zero to using ℕ to include zero.

#state/stub | #lang/en