Metamath Proof Explorer

Table of Contents - 10.2.9. The opposite group

1. coppg
2. df-oppg
3. oppgval
4. oppgplusfval
5. oppgplus
6. oppglem
7. oppgbas
8. oppgtset
9. oppgtopn
10. oppgmnd
11. oppgmndb
12. oppgid
13. oppggrp
14. oppggrpb
15. oppginv
16. invoppggim
17. oppggic
18. oppgsubm
19. oppgsubg
20. oppgcntz
21. oppgcntr
22. gsumwrev