Metamath Proof Explorer

Table of Contents - 2.1.4.2. Negated membership

1. wnel
2. df-nel
3. neli
4. nelir
5. nelcon3d
6. neleq12d
7. neleq1
8. neleq2
9. nfnel
10. nfneld
11. nnel
12. elnelne1
13. elnelne2
14. pm2.24nel
15. pm2.61danel