Theorem rrxtopn0b

Description: The topology of the zero-dimensional real Euclidean space. (Contributed by Glauco Siliprandi, 24-Dec-2020)

	Ref	Expression
Assertion	rrxtopn0b

Proof

Step	Hyp	Ref	Expression
1		rrxtopn0
2		pwsn	$$⊢𝒫\left\{\varnothing \right\}=\left\{\varnothing ,\left\{\varnothing \right\}\right\}$$
3	1 2	eqtri