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/ssreflect/binomial.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/ssreflect/binomial.v')

diff --git a/mathcomp/ssreflect/binomial.v b/mathcomp/ssreflect/binomial.v
index 3a484a1..2af7953 100644
--- a/mathcomp/ssreflect/binomial.v
+++ b/mathcomp/ssreflect/binomial.v
@@ -5,7 +5,7 @@ From mathcomp Require Import div fintype tuple finfun bigop prime finset.
 
 (******************************************************************************)
 (* This files contains the definition of:                                     *)
-(*   'C(n, m) == the binomial coeficient n choose m.                          *)
+(*   'C(n, m) == the binomial coefficient n choose m.                         *)
 (*     n ^_ m == the falling (or lower) factorial of n with m terms, i.e.,    *)
 (*               the product n * (n - 1) * ... * (n - m + 1).                 *)
 (*               Note that n ^_ m = 0 if m > n, and 'C(n, m) = n ^_ m %/ m/!. *)
-- 
cgit v1.2.3