Description: The quadratic equation, without specifying the particular branch D to the square root. (Contributed by Mario Carneiro, 23-Apr-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | quad.a | |
|
quad.z | |
||
quad.b | |
||
quad.c | |
||
quad.x | |
||
quad2.d | |
||
quad2.2 | |
||
Assertion | quad2 | |