Theorem IsPreconnected.intermediate_value₂

Modification history