Metamath Proof Explorer


Table of Contents - 10.4.1. Definition and basic properties

  1. cdr
  2. cfield
  3. df-drng
  4. df-field
  5. isdrng
  6. drngunit
  7. drngui
  8. drngring
  9. drnggrp
  10. isfld
  11. isdrng2
  12. drngprop
  13. drngmgp
  14. drngmcl
  15. drngid
  16. drngunz
  17. drngid2
  18. drnginvrcl
  19. drnginvrn0
  20. drnginvrl
  21. drnginvrr
  22. drngmul0or
  23. drngmulne0
  24. drngmuleq0
  25. opprdrng
  26. isdrngd
  27. isdrngrd
  28. drngpropd
  29. fldpropd