Axiom ax-hv0cl 31063

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 30984	. 2 class 0ℎ
2		chba 30979	. 2 class ℋ
3	1, 2	wcel 2114	1 wff 0ℎ ∈ ℋ

This axiom is referenced by:  ifhvhv0  31082  hvaddlid  31083  hvmul0  31084  hv2neg  31088  hvsub0  31136  hi01  31156  hi02  31157  norm0  31188  normneg  31204  norm3difi  31207  hilablo  31220  hilid  31221  hlim0  31295  helch  31303  hsn0elch  31308  elch0  31314  hhssnv  31324  ocsh  31343  shscli  31377  choc0  31386  shintcli  31389  pj0i  31753  df0op2  31812  hon0  31853  ho01i  31888  nmopsetn0  31925  nmfnsetn0  31938  dmadjrnb  31966  nmopge0  31971  nmfnge0  31987  bra0  32010  lnop0  32026  lnopmul  32027  0cnop  32039  nmop0  32046  nmfn0  32047  nmop0h  32051  nmcexi  32086  nmcopexi  32087  lnfn0i  32102  lnfnmuli  32104  nmcfnexi  32111  nlelshi  32120  riesz3i  32122  hmopidmchi  32211