Library Coq.Numbers.HexadecimalZ


HexadecimalZ

Proofs that conversions between hexadecimal numbers and Z are bijections.
Some consequences
Various lemmas