Theorem t0Space_iff_exists_isOpen_xor_mem

Modification history

2026-04-27 20:25
Mathlib/Topology/Separation/Basic.lean
chore: Rename Xor' to Xor (#37628) …
Added t0Space_iff_exists_isOpen_xor_memView on Github →