class PiBase.PseudonormalSpace (X : Type u) [TopologicalSpace X] : Prop

• pseudonormal (s t : Set X) : s.Countable → IsClosed s → IsClosed t → Disjoint s t → SeparatedNhds s t