fix typos in documentation: text

1 files changed, 1 insertions, 1 deletions

diff --git a/mathcomp/algebra/poly.v b/mathcomp/algebra/poly.v
index e25d7c0..d21e690 100644
--- a/mathcomp/algebra/poly.v
+++ b/mathcomp/algebra/poly.v
@@ -10,7 +10,7 @@ From mathcomp Require Import fintype bigop div ssralg countalg binomial tuple.
 (*                                                                            *)
 (*           {poly R} == the type of polynomials with coefficients of type R, *)
 (*                       represented as lists with a non zero last element    *)
-(*                       (big endian representation); the coeficient type R   *)
+(*                       (big endian representation); the coefficient type R  *)
 (*                       must have a canonical ringType structure cR. In fact *)
 (*                       {poly R} denotes the concrete type polynomial cR; R  *)
 (*                       is just a phantom argument that lets type inference  *)