How would you define archimedean-ordered-field? Add your definition here.

comments powered by Disqus