euclidean field

ordered field where every nonnegative element is a square

Categories: