Library Coq.Numbers.DecimalN


DecimalN

Proofs that conversions between decimal numbers and N are bijections
Conversion from/to signed decimal numbers