Theorem t0Space_iff_exists_isOpen_xor'_mem

Modification history