Metamath Proof Explorer

Table of Contents - 18.6.4. Minimizing Vector Theorem

1. minvecolem1
2. minvecolem2
3. minvecolem3
4. minvecolem4a
5. minvecolem4b
6. minvecolem4c
7. minvecolem4
8. minvecolem5
9. minvecolem6
10. minvecolem7
11. minveco