Theorem intermediate_value_Ioo

Modification history