Metamath Proof Explorer

Table of Contents - 19.5.9. Orthoarguesian laws 5OA and 3OA

  1. 5oalem1
  2. 5oalem2
  3. 5oalem3
  4. 5oalem4
  5. 5oalem5
  6. 5oalem6
  7. 5oalem7
  8. 5oai
  9. 3oalem1
  10. 3oalem2
  11. 3oalem3
  12. 3oalem4
  13. 3oalem5
  14. 3oalem6
  15. 3oai