ℕ valued function

Function

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

Discussion

Parents

Subset of

Requirements

Link to graph
Log In
Improvements of the human condition