Metamath Proof Explorer

Table of Contents - 1.4.8. Define proper substitution

1. sbjust
2. wsb
3. df-sb
4. sbt
5. sbtru
6. stdpc4
7. sbtALT
8. 2stdpc4
9. sbi1
10. spsbim
11. spsbbi
12. sbimi
13. sb2imi
14. sbbii
15. 2sbbii
16. sbimdv
17. sbbidv
18. sban
19. sb3an
20. spsbe
21. sbequ
22. sbequi
23. sb6
24. 2sb6
25. sb1v
26. sbv
27. sbcom4
28. pm11.07
29. sbrimvw
30. sbievw
31. sbiedvw
32. 2sbievw
33. sbcom3vv
34. sbievw2
35. sbco2vv
36. equsb3
37. equsb3r
38. equsb1v
39. nsb
40. sbn1