class PiBase.StronglyConnectedSpace (X : Type u_1) [TopologicalSpace X] : Prop

• strongly_connected (f : X → ℝ) : Continuous f → ∃ (r : ℝ), f = Function.const X r