example: real numbers are a conditionally complete linearly ordered field #98

Closed jcommelin closed 2 years ago