Theorem snnzg

Description: The singleton of a set is not empty. (Contributed by NM, 14-Dec-2008)

	Ref	Expression
Assertion	snnzg	$$⊢A\in V\to \left\{A\right\}\ne \varnothing$$

Proof

Step	Hyp	Ref	Expression
1		snidg	$$⊢A\in V\to A\in \left\{A\right\}$$
2	1	ne0d	$$⊢A\in V\to \left\{A\right\}\ne \varnothing$$