theorem t2Space_iff_of_isOpenQuotientMap {α : Type u_1} {β : Type u_2} [TopologicalSpace α] [TopologicalSpace β] {π : α → β} (h : IsOpenQuotientMap π) : T2Space β ↔ IsClosed {q : α × α | π q.1 = π q.2}