Expii

Extension: Darboux's Theorem from Mean and Intermediate Value Theorems - Expii