From 815d3cbfa2bf98b4b8f2bcd14819a20eca843e78 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Sun, 5 Apr 2020 02:54:23 +0400
Subject: fix typos in documentation: text

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

(limited to 'mathcomp/field')

diff --git a/mathcomp/field/algnum.v b/mathcomp/field/algnum.v
index 15d1d61..ad02f44 100644
--- a/mathcomp/field/algnum.v
+++ b/mathcomp/field/algnum.v
@@ -17,7 +17,7 @@ From mathcomp Require Import cyclotomic.
 (*  x \in Cint_span X <=> x is a Z-linear combination of elements of          *)
 (*                        X : seq algC.                                       *)
 (*         x \in Aint <=> x : algC is an algebraic integer, i.e., the (monic) *)
-(*                        polynomial of x over Q has integer coeficients.     *)
+(*                        polynomial of x over Q has integer coefficients.    *)
 (*         (e %| a)%A <=> e divides a with respect to algebraic integers,     *)
 (*        (e %| a)%Ax     i.e., a is in the algebraic integer ideal generated *)
 (*                        by e. This is is notation for a \in dvdA e, where   *)
-- 
cgit v1.2.3