nForum - Discussion Feed (locally nonzero function)2024-03-28T09:04:50+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
nLab edit announcer comments on "locally nonzero function" (99375)https://nforum.ncatlab.org/discussion/14447/?Focus=99375#Comment_993752022-06-02T16:19:18+00:002024-03-28T09:04:50+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Auke Booij said in his thesis that one could replace locally nonconstant with locally non-zero in his proof of the intermediate value theorem.
Anonymous
v1, current
Auke Booij said in his thesis that one could replace locally nonconstant with locally non-zero in his proof of the intermediate value theorem.