Metamath Proof Explorer

Table of Contents - 20.3.22.4. Preimage set mapping operator

1. corvc
2. df-orvc
3. orvcval
4. orvcval2
5. elorvc
6. orvcval4
7. orvcoel
8. orvccel
9. elorrvc
10. orrvcval4
11. orrvcoel
12. orrvccel
13. orvcgteel