Metamath Proof Explorer

Table of Contents - 14.3.7. Solutions of quadratic, cubic, and quartic equations

1. quad2
2. quad
3. 1cubrlem
4. 1cubr
5. dcubic1lem
6. dcubic2
7. dcubic1
8. dcubic
9. mcubic
10. cubic2
11. cubic
12. binom4
13. dquartlem1
14. dquartlem2
15. dquart
16. quart1cl
17. quart1lem
18. quart1
19. quartlem1
20. quartlem2
21. quartlem3
22. quartlem4
23. quart