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

• countablycompact_closed (s : Set X) : IsCountablyCompact s → IsClosed s