ℕ valued function

Function

context $ X $
definiendum $ \mathrm{it}\equiv X \to \mathbb N $

Discussion

Parents

Subset of

ℤ valued function

Requirements

Natural number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms