Metamath Proof Explorer

Table of Contents - 10.2.7. Group actions

1. cga
2. df-ga
3. isga
4. gagrp
5. gaset
6. gagrpid
7. gaf
8. gafo
9. gaass
10. ga0
11. gaid
12. subgga
13. gass
14. gasubg
15. gaid2
16. galcan
17. gacan
18. gapm
19. gaorb
20. gaorber
21. gastacl
22. gastacos
23. orbstafun
24. orbstaval
25. orbsta
26. orbsta2