Metamath Proof Explorer

Table of Contents - 20.37.4. Principia Mathematica * 13 and * 14

1. pm13.13a
2. pm13.13b
3. pm13.14
4. pm13.192
5. pm13.193
6. pm13.194
7. pm13.195
8. pm13.196a
9. 2sbc6g
10. 2sbc5g
11. iotain
12. iotaexeu
13. iotasbc
14. iotasbc2
15. pm14.12
16. pm14.122a
17. pm14.122b
18. pm14.122c
19. pm14.123a
20. pm14.123b
21. pm14.123c
22. pm14.18
23. iotaequ
24. iotavalb
25. iotasbc5
26. pm14.24
27. iotavalsb
28. sbiota1
29. sbaniota
30. eubiOLD
31. iotasbcq