• @Eylrid
      link
      English
      1510 months ago

      ℕ₀* is ℕ with 0 without 0