Abstract: This paper reports on the formalization of the completeness of intermediate value theorem. This theorem as a fundamental property of continuous function on a closed interval, can be used to ...

For those unaware of this neat little mathematical curiosity, the "wobbly table theorem" is kind of an application of the broader intermediate value theorem, a corollary of which basically says that ...