Theorem intermediate_value_Ico'

Modification history