Metamath Proof Explorer


Table of Contents - 20.10.32.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