diff options
| author | Enrico | 2016-11-17 13:09:45 +0100 |
|---|---|---|
| committer | GitHub | 2016-11-17 13:09:45 +0100 |
| commit | a4599ba2083ba748dd7a090a4b2eaaa0fc1d295c (patch) | |
| tree | 964ee247bbf305022235217e716578a37be0bf62 | |
| parent | 23e57fb47874331c5feaace883513b7abecdff28 (diff) | |
| parent | 84cc11db01159b17a8dcf4d02dbe0549067d228f (diff) | |
Merge pull request #82 from hivert/fixdoc
Just a trivial typo
| -rw-r--r-- | mathcomp/algebra/mxalgebra.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/algebra/mxalgebra.v b/mathcomp/algebra/mxalgebra.v index ec1b4ec..3b3ca5d 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 *) |