Metamath Proof Explorer

Table of Contents - 21.47.1.3. Unordered and ordered pairs - extension for ordered pairs

1. oppr
2. opprb
3. or2expropbilem1
4. or2expropbilem2
5. or2expropbi