Metamath Proof Explorer

Table of Contents - 10.2.10.3. Permutations fixing one element

1. symgfix2
2. symgextf
3. symgextfv
4. symgextfve
5. symgextf1lem
6. symgextf1
7. symgextfo
8. symgextf1o
9. symgextsymg
10. symgextres
11. gsumccatsymgsn
12. gsmsymgrfixlem1
13. gsmsymgrfix
14. fvcosymgeq
15. gsmsymgreqlem1
16. gsmsymgreqlem2
17. gsmsymgreq
18. symgfixelq
19. symgfixels
20. symgfixelsi
21. symgfixf
22. symgfixf1
23. symgfixfolem1
24. symgfixfo
25. symgfixf1o