Parity of integers #
This file contains theorems about the Even
and Odd
predicates on the integers.
Tags #
even, odd
Alias of the reverse direction of Int.natAbs_even
.
Alias of the reverse direction of Int.natAbs_odd
.
Mathlib.Data.Int.Parity
This file contains theorems about the Even
and Odd
predicates on the integers.
even, odd
Alias of the reverse direction of Int.natAbs_even
.
Alias of the reverse direction of Int.natAbs_odd
.