Metamath Proof Explorer
Table of Contents - 7.1.1.5. Base sets
- cbs
- df-base
- baseval
- baseid
- basfn
- base0
- elbasfv
- elbasov
- strov2rcl
- basendx
- basendxnn
- basendxnnOLD
- basprssdmsets
- opelstrbas
- 1strstr
- 1strbas
- 1strwunbndx
- 1strwun
- 2strstr
- 2strbas
- 2strop
- 2strstr1
- 2strbas1
- 2strop1