From 9eca94fcebb627bf8b1160dd189edb9769e2bd25 Mon Sep 17 00:00:00 2001
From: Gabriel Taumaturgo
Date: Thu, 14 Nov 2019 06:49:24 -0300
Subject: Update zmodp.v (#411)

---
 mathcomp/algebra/zmodp.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mathcomp/algebra/zmodp.v b/mathcomp/algebra/zmodp.v
index 9371721..4d92e26 100644
--- a/mathcomp/algebra/zmodp.v
+++ b/mathcomp/algebra/zmodp.v
@@ -34,7 +34,7 @@ From mathcomp Require Import ssralg finalg countalg.
 (*               'I_p if p > 1, and convertible to 'I_p if p is of the form   *)
 (*               n.+2.                                                        *)
 (*       Zp p == the subgroup of integers mod (max p 1) in 'Z_p; this is thus *)
-(*               is thus all of 'Z_p if p > 1, and else the trivial group.    *)
+(*               all of 'Z_p if p > 1, and else the trivial group.            *)
 (* units_Zp p == the group of all units of 'Z_p -- i.e., the group of         *)
 (*               (multiplicative) automorphisms of Zp p.                      *)
 (* We show that Zp and units_Zp are abelian, and compute their orders.        *)
-- 
cgit v1.2.3