From 5daf14d44b9cd22c6b51b2b23b4eebe5f3aee79f Mon Sep 17 00:00:00 2001
From: Florent Hivert
Date: Wed, 16 Nov 2016 21:38:28 +0100
Subject: Fixes the doc of mxalgebra

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

(limited to 'mathcomp/algebra/mxalgebra.v')

diff --git a/mathcomp/algebra/mxalgebra.v b/mathcomp/algebra/mxalgebra.v
index 38dc17d..a0fa1c6 100644
--- a/mathcomp/algebra/mxalgebra.v
+++ b/mathcomp/algebra/mxalgebra.v
@@ -93,7 +93,7 @@ Require Import perm zmodp matrix.
 (*                   capmx_gen A B is a rectangular matrix equivalent to     *)
 (*                   (A :&: B)%MS, i.e., (capmx_gen A B == A :&: B)%MS.      *)
 (*    proj_mx A B == a square matrix that projects (A + B)%MS onto A         *)
-(*                   parellel to B, when (A :&: B)%MS = 0 (A and B must also *)
+(*                   parallel to B, when (A :&: B)%MS = 0 (A and B must also *)
 (*                   be square).                                             *)
 (*     mxdirect S == the sum expression S is a direct sum. This is a NON     *)
 (*                   EXTENSIONAL notation: the exact boolean expression is   *)
-- 
cgit v1.2.3