Theorem cnex 7877

Description: Alias for ax-cnex 7844. (Contributed by Mario Carneiro, 17-Nov-2014.)

Assertion

Ref	Expression
cnex	⊢ ℂ ∈ V

Proof of Theorem cnex

Step	Hyp	Ref	Expression
1		ax-cnex 7844	1 ⊢ ℂ ∈ V

Syntax hints:   ∈ wcel 2136  Vcvv 2726  ℂcc 7751

This theorem was proved from axioms:  ax-cnex 7844

This theorem is referenced by:  reex  7887  cnelprrecn  7889  pnfnre  7940  mnfnre  7941  pnfxr  7951  nnex  8863  zex  9200  qex  9570  ovshftex  10761  lmfval  12842  lmbrf  12865  lmfss  12894  lmres  12898  lmtopcnp  12900  cnmet  13180  cncfval  13209  elcncf  13210  limcrcl  13277  limccl  13278  ellimc3apf  13279  limccnp2lem  13295  limccnp2cntop  13296  reldvg  13298  dvfvalap  13300  dvbss  13304  dvidlemap  13310  dvcnp2cntop  13313  dvaddxxbr  13315  dvmulxxbr  13316  dvaddxx  13317  dvmulxx  13318  dviaddf  13319  dvimulf  13320  dvcoapbr  13321  dvcjbr  13322  dvcj  13323  dvfre  13324  dvexp  13325  dvrecap  13327  dvmptclx  13330  dvef  13338