5 ms·A Proof That There's No Constructive Proof of the Intermediate Value Theorem2 points by gone35 1y ago