• @Eylrid
    link
    English
    1510 months ago

    ℕ₀* is ℕ with 0 without 0