• @Eylrid
      link
      English
      158 months ago

      ℕ₀* is ℕ with 0 without 0