Theorem cnex 7744

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

Assertion

Ref	Expression
cnex	⊢ ℂ ∈ V

Proof of Theorem cnex

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

Syntax hints:   ∈ wcel 1480  Vcvv 2686  ℂcc 7618

This theorem was proved from axioms:  ax-cnex 7711

This theorem is referenced by:  reex  7754  cnelprrecn  7756  pnfnre  7807  mnfnre  7808  pnfxr  7818  nnex  8726  zex  9063  qex  9424  ovshftex  10591  lmfval  12361  lmbrf  12384  lmfss  12413  lmres  12417  lmtopcnp  12419  cnmet  12699  cncfval  12728  elcncf  12729  limcrcl  12796  limccl  12797  ellimc3apf  12798  limccnp2lem  12814  limccnp2cntop  12815  reldvg  12817  dvfvalap  12819  dvbss  12823  dvidlemap  12829  dvcnp2cntop  12832  dvaddxxbr  12834  dvmulxxbr  12835  dvaddxx  12836  dvmulxx  12837  dviaddf  12838  dvimulf  12839  dvcoapbr  12840  dvcjbr  12841  dvcj  12842  dvfre  12843  dvexp  12844  dvrecap  12846  dvmptclx  12849  dvef  12856