Library Coq.Numbers.DecimalZ


DecimalZ

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