Metamath Proof Explorer

Table of Contents - 20.37.7. Geometry

1. cplusr
2. cminusr
3. ctimesr
4. cptdfc
5. crr3c
6. cline3
7. df-addr
8. df-subr
9. df-mulv
10. addrval
11. subrval
12. mulvval
13. addrfv
14. subrfv
15. mulvfv
16. addrfn
17. subrfn
18. mulvfn
19. addrcom
20. df-ptdf
21. df-rr3
22. df-line3