Metamath Proof Explorer

Table of Contents - 7.1.1.5. Base sets

  1. cbs
  2. df-base
  3. baseval
  4. baseid
  5. basfn
  6. base0
  7. elbasfv
  8. elbasov
  9. strov2rcl
  10. basendx
  11. basendxnn
  12. basendxnnOLD
  13. basprssdmsets
  14. opelstrbas
  15. 1strstr
  16. 1strbas
  17. 1strwunbndx
  18. 1strwun
  19. 2strstr
  20. 2strbas
  21. 2strop
  22. 2strstr1
  23. 2strbas1
  24. 2strop1