fix typos in documentation: text

1 files changed, 1 insertions, 1 deletions

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   *)