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. sbbiiev
31. sbievw
32. sbievwOLD
33. sbiedvw
34. 2sbievw
35. sbcom3vv
36. sbievw2
37. sbco2vv
38. cbvsbv
39. sbco4lem
40. sbco4
41. equsb3
42. equsb3r
43. equsb1v
44. nsb
45. sbn1