Lemmas about integer division needed to bootstrap omega
. #
dvd #
ediv zero #
emod zero #
ofNat mod #
mod definitions #
Variant of emod_add_ediv
with the multiplication written the other way around.
Variant of ediv_add_emod
with the multiplication written the other way around.