Miscellaneous lemmas about the integers #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file contains lemmas about integers, which require further imports than
bitwise ops #
This lemma is orphaned from
data.int.bitwise as it also requires material from