From 6355670ac4981c445232745dda53090a26d591cb Mon Sep 17 00:00:00 2001 From: Jeremy Avigad Date: Mon, 27 Jul 2015 06:26:07 +0300 Subject: [PATCH] fix(library/data/nat/nat.md): add 'find' to markdown file --- library/data/nat/nat.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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