Documentation
Mathlib
.
Data
.
Nat
.
Notation
Search
Google site search
return to top
source
Imports
Init
Imported by
Notation
ℕ
for the natural numbers.
#