Theorem IsPreconnected.intermediate_value_Iic

Modification history