Metamath Proof Explorer

Table of Contents - 21.12.17.4. Properties relating betweenness and congruence

1. cifs
2. ccgr3
3. ccolin
4. cfs
5. df-colinear
6. df-ifs
7. df-cgr3
8. df-fs
9. brifs
10. ifscgr
11. cgrsub
12. brcgr3
13. cgr3permute3
14. cgr3permute1
15. cgr3permute2
16. cgr3permute4
17. cgr3permute5
18. cgr3tr4
19. cgr3com
20. cgr3rflx
21. cgrxfr
22. btwnxfr
23. colinrel
24. brcolinear2
25. brcolinear
26. colinearex
27. colineardim1
28. colinearperm1
29. colinearperm3
30. colinearperm2
31. colinearperm4
32. colinearperm5
33. colineartriv1
34. colineartriv2
35. btwncolinear1
36. btwncolinear2
37. btwncolinear3
38. btwncolinear4
39. btwncolinear5
40. btwncolinear6
41. colinearxfr
42. lineext
43. brofs2
44. brifs2
45. brfs
46. fscgr
47. linecgr
48. linecgrand
49. lineid
50. idinside
51. endofsegid
52. endofsegidand