oeis entry

UniMath · Feb 11, 2025 · bc49c97 · bc49c97
1 parent 6436027
commit bc49c97
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/literature/oeis.lagda.md b/src/literature/oeis.lagda.md
@@ -105,6 +105,13 @@ open import elementary-number-theory.catalan-numbers using
   ( catalan-numbers)
 ```
 
+### [A000110](https://oeis.org/A000110) The Bell numbers
+
+```agda
+open import elementary-number-theory.bell-numbers using
+  ( bell-number-ℕ)
+```
+
 ### [A000142](https://oeis.org/A000142) Factorials
 
 ```agda