Theorem intermediate_value_Ioc

Modification history