Theorem IsPreconnected.intermediate_value_Ioc

Modification history