diff options
Diffstat (limited to 'theories7/ZArith/Znumtheory.v')
| -rw-r--r-- | theories7/ZArith/Znumtheory.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories7/ZArith/Znumtheory.v b/theories7/ZArith/Znumtheory.v index 481639510..300ac520a 100644 --- a/theories7/ZArith/Znumtheory.v +++ b/theories7/ZArith/Znumtheory.v @@ -33,7 +33,7 @@ Inductive Zdivide [a,b:Z] : Prop := Notation "( a | b )" := (Zdivide a b) (at level 0, a,b at level 10) : Z_scope - V8only "a | b" (at level 260, no associativity). + V8only "( a | b )" (at level 0). (** Results concerning divisibility*) |