From 73c1848f2678e03e8bda249413a081c498d58e62 Mon Sep 17 00:00:00 2001
From: Patrick Massot
Date: Sun, 13 Aug 2017 11:19:10 +0200
Subject: Fix typo in fingroup documentation

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

(limited to 'mathcomp')

diff --git a/mathcomp/fingroup/fingroup.v b/mathcomp/fingroup/fingroup.v
index 550aaaa..06a1806 100644
--- a/mathcomp/fingroup/fingroup.v
+++ b/mathcomp/fingroup/fingroup.v
@@ -130,7 +130,7 @@ Require Import div path bigop prime finset.
 (* In addition to the generic suffixes described in ssrbool.v and finset.v,   *)
 (* we associate the following suffixes to group operations:                   *)
 (*   1 - identity element, as in group1 : 1 \in G.                            *)
-(*   M - multiplication, as is invMg : (x * y)^-1 = x^-1 * y^-1.              *)
+(*   M - multiplication, as is invMg : (x * y)^-1 = y^-1 * x^-1.              *)
 (*       Also nat multiplication, for expgM : x ^+ (m * n) = x ^+ m ^+ n.     *)
 (*   D - (nat) addition, for expgD : x ^+ (m + n) = x ^+ m * x ^+ n.          *)
 (*   V - inverse, as in mulgV : x * x^-1 = 1.                                 *)
-- 
cgit v1.2.3