Metamath Proof Explorer
Table of Contents - 5.6.11.139. Proper unordered pairs and triples (sets of size 2 and 3)
- hashprlei
- hash2pr
- hash2prde
- hash2exprb
- hash2prb
- prprrab
- nehash2
- hash2prd
- hash2pwpr
- hashle2pr
- hashle2prv
- pr2pwpr
- hashge2el2dif
- hashge2el2difr
- hashge2el2difb
- hashdmpropge2
- hashtplei
- hashtpg
- hashge3el3dif
- elss2prb
- hash2sspr
- exprelprel
- hash3tr
- hash1to3