Theorem cnex 7768

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

Assertion

Ref	Expression
cnex	⊢ ℂ ∈ V

Proof of Theorem cnex

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

Syntax hints:   ∈ wcel 1481  Vcvv 2689  ℂcc 7642

This theorem was proved from axioms:  ax-cnex 7735

This theorem is referenced by:  reex  7778  cnelprrecn  7780  pnfnre  7831  mnfnre  7832  pnfxr  7842  nnex  8750  zex  9087  qex  9451  ovshftex  10623  lmfval  12400  lmbrf  12423  lmfss  12452  lmres  12456  lmtopcnp  12458  cnmet  12738  cncfval  12767  elcncf  12768  limcrcl  12835  limccl  12836  ellimc3apf  12837  limccnp2lem  12853  limccnp2cntop  12854  reldvg  12856  dvfvalap  12858  dvbss  12862  dvidlemap  12868  dvcnp2cntop  12871  dvaddxxbr  12873  dvmulxxbr  12874  dvaddxx  12875  dvmulxx  12876  dviaddf  12877  dvimulf  12878  dvcoapbr  12879  dvcjbr  12880  dvcj  12881  dvfre  12882  dvexp  12883  dvrecap  12885  dvmptclx  12888  dvef  12896