diff options
Diffstat (limited to 'theories/ZArith/Zquot.v')
| -rw-r--r-- | theories/ZArith/Zquot.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/ZArith/Zquot.v b/theories/ZArith/Zquot.v index a619eb90ef..64431a9411 100644 --- a/theories/ZArith/Zquot.v +++ b/theories/ZArith/Zquot.v @@ -105,7 +105,7 @@ Proof. rewrite Z.rem_sign_nz; trivial. apply Z.square_nonneg. Qed. -(** This can also be said in a simplier way: *) +(** This can also be said in a simpler way: *) Theorem Zrem_sgn2 a b : 0 <= (Z.rem a b) * a. Proof. |