Basic parity lemmas for the ring ℤ
#
See note [foundational algebra order theory].
Parity #
Alias of the reverse direction of Int.natAbs_even
.
Alias of the reverse direction of Int.natAbs_odd
.
ℤ
#See note [foundational algebra order theory].
Alias of the reverse direction of Int.natAbs_even
.
Alias of the reverse direction of Int.natAbs_odd
.