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. basndxelwund
13. basprssdmsets
14. opelstrbas
15. 1strstr
16. 1strbas
17. 1strwunbndx
18. 1strwun
19. 2strstr
20. 2strbas
21. 2strop