Theorem IsPreconnected.intermediate_value₂_eventually₂

Modification history