Metamath Proof Explorer

Table of Contents - 20.6.3. Derangements and the Subfactorial

1. deranglem
2. derangval
3. derangf
4. derang0
5. derangsn
6. derangenlem
7. derangen
8. subfacval
9. derangen2
10. subfacf
11. subfaclefac
12. subfac0
13. subfac1
14. subfacp1lem1
15. subfacp1lem2a
16. subfacp1lem2b
17. subfacp1lem3
18. subfacp1lem4
19. subfacp1lem5
20. subfacp1lem6
21. subfacp1
22. subfacval2
23. subfaclim
24. subfacval3
25. derangfmla