diff options
| -rw-r--r-- | theories/ZArith/ZOdiv.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/ZArith/ZOdiv.v b/theories/ZArith/ZOdiv.v index 47347e7273..937a05dcad 100644 --- a/theories/ZArith/ZOdiv.v +++ b/theories/ZArith/ZOdiv.v @@ -832,3 +832,4 @@ Theorem ZOmod_Zmod_zero : forall a b, b<>0 -> a mod b = 0 <-> Zdiv.Zmod a b = 0. *) +*)
\ No newline at end of file |