diff options
Diffstat (limited to 'theories/Arith/Plus.v')
| -rwxr-xr-x | theories/Arith/Plus.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/Arith/Plus.v b/theories/Arith/Plus.v index 5263cb375..3ad37d13a 100755 --- a/theories/Arith/Plus.v +++ b/theories/Arith/Plus.v @@ -12,7 +12,8 @@ Require Le. Require Lt. -Require ArithSyntax. + +Import nat_scope. Lemma plus_sym : (n,m:nat)(n+m)=(m+n). Proof. |