∫ Утверждение Mathlib
instInhabited
Mathlib.Topology.Connected.Clopen
URI: https://scilib.ai/kg/mathlib#ConnectedComponents.instInhabited
∫ Утверждение Mathlib
Mathlib.Topology.Connected.Clopen
URI: https://scilib.ai/kg/mathlib#ConnectedComponents.instInhabited