Theorem IsPreconnected.intermediate_value

Modification history