Property: Euclidean field

Definition: An ordered field for which every positive element is the square of another element

(No citations retrieved.)

(No metaproperty information retrieved.)