Metamath Proof Explorer

Table of Contents - 10.3.6. Opposite ring

1. coppr
2. df-oppr
3. opprval
4. opprmulfval
5. opprmul
6. crngoppr
7. opprlem
8. opprbas
9. oppradd
10. opprrng
11. opprrngb
12. opprring
13. opprringb
14. oppr0
15. oppr1
16. opprneg
17. opprsubg
18. mulgass3