Semirings and rings #
This file gives lemmas about semirings, rings and domains.
This is analogous to
the difference being that the former is about
* separately, while
the present file is about their interaction.
For the definitions of semirings and rings see
Vieta's formula for a quadratic equation, relating the coefficients of the polynomial with
its roots. This particular version states that if we have a root
x of a monic quadratic
polynomial, then there is another root
y such that
x + y is negative the
x * y is the