Axiom ax-hv0cl 30244

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

Assertion

Ref	Expression
ax-hv0cl	⊢ 0ℎ ∈ ℋ

Detailed syntax breakdown of Axiom ax-hv0cl

Step	Hyp	Ref	Expression
1		c0v 30165	. 2 class 0ℎ
2		chba 30160	. 2 class ℋ
3	1, 2	wcel 2107	1 wff 0ℎ ∈ ℋ

This axiom is referenced by:  ifhvhv0  30263  hvaddlid  30264  hvmul0  30265  hv2neg  30269  hvsub0  30317  hi01  30337  hi02  30338  norm0  30369  normneg  30385  norm3difi  30388  hilablo  30401  hilid  30402  hlim0  30476  helch  30484  hsn0elch  30489  elch0  30495  hhssnv  30505  ocsh  30524  shscli  30558  choc0  30567  shintcli  30570  pj0i  30934  df0op2  30993  hon0  31034  ho01i  31069  nmopsetn0  31106  nmfnsetn0  31119  dmadjrnb  31147  nmopge0  31152  nmfnge0  31168  bra0  31191  lnop0  31207  lnopmul  31208  0cnop  31220  nmop0  31227  nmfn0  31228  nmop0h  31232  nmcexi  31267  nmcopexi  31268  lnfn0i  31283  lnfnmuli  31285  nmcfnexi  31292  nlelshi  31301  riesz3i  31303  hmopidmchi  31392