Author: nLab edit announcer Format: MarkdownItexadded section about the inverse function theorem as an axiom for Archimedean ordered fields.
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/inverse+function+theorem/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/inverse+function+theorem/7">v7</a>, <a href="https://ncatlab.org/nlab/show/inverse+function+theorem">current</a>
added section about the inverse function theorem as an axiom for Archimedean ordered fields.