From 7d6e46ec9c8067553e9a82b5345778f00cf3c1e9 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Thu, 9 Apr 2020 10:54:37 +0400
Subject: more typos

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

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/eqtype.v b/mathcomp/ssreflect/eqtype.v
index 6832ea7..12b0601 100644
--- a/mathcomp/ssreflect/eqtype.v
+++ b/mathcomp/ssreflect/eqtype.v
@@ -437,7 +437,7 @@ End Endo.
 
 Variable aT : Type.
 
-(* The invariant of an function f wrt a projection k is the pred of points *)
+(* The invariant of a function f wrt a projection k is the pred of points  *)
 (* that have the same projection as their image.                           *)
 
 Definition invariant (rT : eqType) f (k : aT -> rT) :=
-- 
cgit v1.2.3