Theorem: CCD.IVT.0:
The Intermediate Value Theorem [and The Bisection Method]
Information: Theorem: CCD.IVT.0: