Library
▹
Algebra
▹
Semirings
▹
Examples
ℕ