From d306f5428db0d034aea55d3f0699c67c1f296cc1 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:28:55 +0200
Subject: Fixing typos - Part 3

---
 theories/Numbers/Natural/Abstract/NLcm.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories/Numbers/Natural/Abstract')

diff --git a/theories/Numbers/Natural/Abstract/NLcm.v b/theories/Numbers/Natural/Abstract/NLcm.v
index 47b74193ed..19a8b4b2b1 100644
--- a/theories/Numbers/Natural/Abstract/NLcm.v
+++ b/theories/Numbers/Natural/Abstract/NLcm.v
@@ -90,7 +90,7 @@ Qed.
             = (a / gcd a b) * b
             = (a*b) / gcd a b
 
-   Nota: [lcm 0 0] should be 0, which isn't garantee with the third
+   Nota: [lcm 0 0] should be 0, which isn't guarantee with the third
    equation above.
 *)
 
-- 
cgit v1.2.3