Theorem vieta_formula_quadratic

Modification history

2023-01-03 22:15

Mathlib/Algebra/Ring/Basic.lean

chore: fix more casing errors per naming scheme (#1232) …

Added vieta_formula_quadratic View on Github →