• @Eylrid
    link
    English
    159 months ago

    ℕ₀* is ℕ with 0 without 0