Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Vieta_formula_quadratic

Modification history

2019-08-20 21:37
src/algebra/ring.lean
feat(algebra,equiv,logic): add various lemmas (#1342) …
Added Vieta_formula_quadraticView on Github →