Theorem intermediate_value_Ioo'

Modification history