Definition:Quadratic Real Algebra
From ProofWiki
Definition
A quadratic real algebra is a quadratic algebra over the Field of Real Numbers.
A quadratic real algebra is a quadratic algebra over the Field of Real Numbers.