Metamath Proof Explorer

Table of Contents - 14.3.6. Theorems of Pythagoras, isosceles triangles, and intersecting chords

1. angval
2. angcan
3. angneg
4. angvald
5. angcld
6. angrteqvd
7. cosangneg2d
8. angrtmuld
9. ang180lem1
10. ang180lem2
11. ang180lem3
12. ang180lem4
13. ang180lem5
14. ang180
15. lawcoslem1
16. lawcos
17. pythag
18. isosctrlem1
19. isosctrlem2
20. isosctrlem3
21. isosctr
22. ssscongptld
23. affineequiv
24. affineequiv2
25. affineequiv3
26. affineequiv4
27. affineequivne
28. angpieqvdlem
29. angpieqvdlem2
30. angpined
31. angpieqvd
32. chordthmlem
33. chordthmlem2
34. chordthmlem3
35. chordthmlem4
36. chordthmlem5
37. chordthm
38. heron