diff --git a/library/data/nat/nat.md b/library/data/nat/nat.md
index 7918720da..1f9c2ad0f 100644
--- a/library/data/nat/nat.md
+++ b/library/data/nat/nat.md
@@ -10,4 +10,5 @@ The natural numbers.
 * [div](div.lean) : div and mod
 * [gcd](gcd.lean) : gcd, lcm, and coprime
 * [power](power.lean)
-* [bigops](bigops.lean) : finite sums and products
\ No newline at end of file
+* [bigops](bigops.lean) : finite sums and products
+* [find](find.lean) : search for a witness to an existence statement
\ No newline at end of file