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

• locally_t2 (x : X) : ∃ C ∈ nhds x, T2Space ↑C