Author: nLab edit announcer Format: MarkdownItexstarting page on Cauchy structures as defined by Auke Booij
Anonymous
<a href="https://ncatlab.org/nlab/revision/Cauchy+structure/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Cauchy+structure">current</a>
starting page on Cauchy structures as defined by Auke Booij