Metamath Proof Explorer
Table of Contents - 10.2.9. The opposite group
- coppg
- df-oppg
- oppgval
- oppgplusfval
- oppgplus
- oppglem
- oppgbas
- oppgtset
- oppgtopn
- oppgmnd
- oppgmndb
- oppgid
- oppggrp
- oppggrpb
- oppginv
- invoppggim
- oppggic
- oppgsubm
- oppgsubg
- oppgcntz
- oppgcntr
- gsumwrev