Basic operations on the integers #
This file builds on Data.Int.Init
by adding basic lemmas on integers.
depending on Mathlib definitions.
Alias of the reverse direction of Int.ofNat_le
.
This file builds on Data.Int.Init
by adding basic lemmas on integers.
depending on Mathlib definitions.
Alias of the reverse direction of Int.ofNat_le
.