How is Bolzano's theorem related to the intermediate value theorem?
There is some variability in names of theorems, but here's my best answer:
As far as I can tell, these are two names for the same theorem.
The Bolzano-Weierstrass Theorem is a more advanced theorem that was proved by Bolzano as a Lemma used to prove the Intermediate Value Theorem,
It would not surprise me to hear the theorem I've been taught to call Bolzano-Weierstrass, called, by others. simply Bolzano.