diff options
Diffstat (limited to 'theories/Arith/Bool_nat.v')
| -rw-r--r-- | theories/Arith/Bool_nat.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Arith/Bool_nat.v b/theories/Arith/Bool_nat.v index 08a090325..f384e1488 100644 --- a/theories/Arith/Bool_nat.v +++ b/theories/Arith/Bool_nat.v @@ -34,4 +34,4 @@ Definition nat_noteq_bool x y := bool_of_sumbool (sumbool_not _ _ (eq_nat_dec x y)). Definition zerop_bool x := bool_of_sumbool (zerop x). -Definition notzerop_bool x := bool_of_sumbool (notzerop x).
\ No newline at end of file +Definition notzerop_bool x := bool_of_sumbool (notzerop x). |