Author: nLab edit announcer Format: MarkdownItexAuke Booij said in his thesis that one could replace locally nonconstant with locally non-zero in his proof of the intermediate value theorem.
Anonymous
<a href="https://ncatlab.org/nlab/revision/locally+nonzero+function/1">v1</a>, <a href="https://ncatlab.org/nlab/show/locally+nonzero+function">current</a>
Auke Booij said in his thesis that one could replace locally nonconstant with locally non-zero in his proof of the intermediate value theorem.