Remove dependency on soon to be deprecated `Znumtheory`. (!637) · Merge requests · Iris / stdpp

Fixes:

File "./stdpp_bitvector/definitions.v", line 216, characters 12-35:
Warning: Reference Znumtheory.Zmod_div_mod is deprecated since 9.1.
Use Z.mod_mod_divide instead.
[deprecated-reference-since-9.1,deprecated-since-9.1,deprecated-reference,deprecated,default]

Remove dependency on soon to be deprecated `Znumtheory`.

Merge request reports