diff options
| author | affeldt-aist | 2020-04-09 13:43:32 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-09 13:43:32 +0200 |
| commit | ad82c5fb56113bdef57e96f6a79000a29803eb38 (patch) | |
| tree | 07c9348f97482124e7a19725863dd3373ea598e5 /mathcomp/ssreflect/ssrnotations.v | |
| parent | 504a34ba48a29a252c40cfc0467f6b192243b6bc (diff) | |
| parent | 31dec18a2539cfdac70fd87401db2b4b14d81d16 (diff) | |
Merge pull request #474 from llelf/doc-typos
Documentation typos
Diffstat (limited to 'mathcomp/ssreflect/ssrnotations.v')
| -rw-r--r-- | mathcomp/ssreflect/ssrnotations.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/ssrnotations.v b/mathcomp/ssreflect/ssrnotations.v index dbc7f3d..d85fdf8 100644 --- a/mathcomp/ssreflect/ssrnotations.v +++ b/mathcomp/ssreflect/ssrnotations.v @@ -52,7 +52,7 @@ Reserved Notation "x ^- n" (at level 29, left associativity). Reserved Notation "x *: A" (at level 40). Reserved Notation "A :* x" (at level 40). -(* Reserved notation for set-theretic operations. *) +(* Reserved notation for set-theoretic operations. *) Reserved Notation "A :&: B" (at level 48, left associativity). Reserved Notation "A :|: B" (at level 52, left associativity). Reserved Notation "a |: A" (at level 52, left associativity). |