Metamath Proof Explorer

Table of Contents - 20.42. Mathbox for Adhemar

1. adh-jarrsc
2. Minimal implicational calculus
   1. adh-minim
   2. adh-minim-ax1-ax2-lem1
   3. adh-minim-ax1-ax2-lem2
   4. adh-minim-ax1-ax2-lem3
   5. adh-minim-ax1-ax2-lem4
   6. adh-minim-ax1
   7. adh-minim-ax2-lem5
   8. adh-minim-ax2-lem6
   9. adh-minim-ax2c
   10. adh-minim-ax2
   11. adh-minim-idALT
   12. adh-minim-pm2.43
   13. adh-minimp
   14. adh-minimp-jarr-imim1-ax2c-lem1
   15. adh-minimp-jarr-lem2
   16. adh-minimp-jarr-ax2c-lem3
   17. adh-minimp-sylsimp
   18. adh-minimp-ax1
   19. adh-minimp-imim1
   20. adh-minimp-ax2c
   21. adh-minimp-ax2-lem4
   22. adh-minimp-ax2
   23. adh-minimp-idALT
   24. adh-minimp-pm2.43