Axiom ax-hv0cl

Description: The zero vector is in the vector space. (Contributed by NM, 29-May-1999) (New usage is discouraged.)

	Ref	Expression
Assertion	ax-hv0cl	$$⊢0_{ℎ}\in \mathscr{H}$$

Detailed syntax breakdown

Step	Hyp	Ref	Expression
0		c0v	$$class{0}_{ℎ}$$
1		chba	$$class\mathscr{H}$$
2	0 1	wcel	$$wff{0}_{ℎ}\in \mathscr{H}$$