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

• pseudocompact (f : X → ℝ) : Continuous f → BddBelow (Set.range f) ∧ BddAbove (Set.range f)