Metamath Proof Explorer


Table of Contents - 10.3.4. Opposite ring

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