Library Coq.Numbers.HexadecimalR


HexadecimalR

Proofs that conversions between hexadecimal numbers and R are bijections.
Some consequences