Metamath Proof Explorer
Table of Contents - 14.3.7. Solutions of quadratic, cubic, and quartic equations
- quad2
- quad
- 1cubrlem
- 1cubr
- dcubic1lem
- dcubic2
- dcubic1
- dcubic
- mcubic
- cubic2
- cubic
- binom4
- dquartlem1
- dquartlem2
- dquart
- quart1cl
- quart1lem
- quart1
- quartlem1
- quartlem2
- quartlem3
- quartlem4
- quart