Metamath Proof Explorer

Table of Contents - 20.3.9.8. Permutation cycles

1. ctocyc
2. df-tocyc
3. tocycval
4. tocycfv
5. tocycfvres1
6. tocycfvres2
7. cycpmfvlem
8. cycpmfv1
9. cycpmfv2
10. cycpmfv3
11. cycpmcl
12. tocycf
13. tocyc01
14. cycpm2tr
15. cycpm2cl
16. cyc2fv1
17. cyc2fv2
18. trsp2cyc
19. cycpmco2f1
20. cycpmco2rn
21. cycpmco2lem1
22. cycpmco2lem2
23. cycpmco2lem3
24. cycpmco2lem4
25. cycpmco2lem5
26. cycpmco2lem6
27. cycpmco2lem7
28. cycpmco2
29. cyc2fvx
30. cycpm3cl
31. cycpm3cl2
32. cyc3fv1
33. cyc3fv2
34. cyc3fv3
35. cyc3co2
36. cycpmconjvlem
37. cycpmconjv
38. cycpmrn
39. tocyccntz