Metamath Proof Explorer

Table of Contents - 20.3.28. LeftPad Project

See https://github.com/tirix/lets-prove-leftpad.

1. clpad
2. df-lpad
3. lpadval
4. lpadlem1
5. lpadlem3
6. lpadlen1
7. lpadlem2
8. lpadlen2
9. lpadmax
10. lpadleft
11. lpadright