Theorem IsPreconnected.intermediate_value_Ioo

Modification history