Parity of integers #
This file contains theorems about the Even
and Odd
predicates on the integers.
Tags #
even, odd
Equations
- Int.instDecidablePredIntEvenInstAddInt x = decidable_of_iff (x % 2 = 0) ⋯
Equations
Alias of the reverse direction of Int.natAbs_even
.
Alias of the reverse direction of Int.natAbs_odd
.