Metamath Proof Explorer


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

Detailed syntax breakdown

Step Hyp Ref Expression
0 c0v class 0
1 chba class
2 0 1 wcel wff 0