• @Eylrid
      link
      English
      152 months ago

      ℕ₀* is ℕ with 0 without 0