Library ▹ Algebra ▹ Semirings ▹ Examples
  • ℕ
[View Source]