Metamath Proof Explorer

Table of Contents - 21.55. Mathbox for Jiamin Zhao

1. Cross product and scalar triple product in RR^3
   1. 1ne3
   2. 2ne3
   3. 1elfz13
   4. 2elfz13
   5. 3elfz13
   6. rr3fvcl
   7. rr3fv1cli
   8. rr3fv2cli
   9. rr3fv3cli
   10. ccrossp
   11. df-crossp
   12. ctripp
   13. df-tripp
   14. crosspval
   15. crosspcle1i
   16. crosspcle2i
   17. crosspcle3i
   18. crosspclifi
   19. crosspcli
   20. crosspv1i
   21. crosspv2i
   22. crosspv3i
   23. crosspdot0i
   24. crosspdotsumi
   25. crosspdoti
   26. crosspalti
   27. crossp3i