Skip to content

add lemmas to util/div_mod.v

Sergey Bozhko requested to merge sbozhko/rt-proofs:add_lemmas_to_div_mod into master

Add a few lemmas that will be useful later

Merge request reports