Metamath Proof Explorer

Table of Contents - 21.50.21.10. Nonnegative integer as sum of its shifted digits

1. dignn0flhalflem1
2. dignn0flhalflem2
3. dignn0ehalf
4. dignn0flhalf
5. nn0sumshdiglemA
6. nn0sumshdiglemB
7. nn0sumshdiglem1
8. nn0sumshdiglem2
9. nn0sumshdig