Theorem cnex 8251

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

Assertion

Ref	Expression
cnex	|- CC e. _V

Proof of Theorem cnex

Step	Hyp	Ref	Expression
1		ax-cnex 8218	1 |- CC e. _V

Syntax hints:   e. wcel 2203   _Vcvv 2813   CCcc 8125

This theorem was proved from axioms:  ax-cnex 8218

This theorem is referenced by:  reex  8261  cnelprrecn  8263  pnfnre  8315  mnfnre  8316  pnfxr  8326  nnex  9243  zex  9586  qex  9964  addex  9984  mulex  9985  ovshftex  11504  cndsex  14701  cnfldstr  14706  cnfldbas  14708  mpocnfldadd  14709  mpocnfldmul  14711  cnfldcj  14713  expghmap  14755  lmfval  15058  lmbrf  15080  lmfss  15109  lmres  15113  lmtopcnp  15115  cnmet  15395  cncfval  15437  elcncf  15438  limcrcl  15523  limccl  15524  ellimc3apf  15525  limccnp2lem  15541  limccnp2cntop  15542  reldvg  15544  dvfvalap  15546  dvbss  15550  dvidlemap  15556  dvidrelem  15557  dvidsslem  15558  dvcnp2cntop  15564  dvaddxxbr  15566  dvmulxxbr  15567  dvaddxx  15568  dvmulxx  15569  dviaddf  15570  dvimulf  15571  dvcoapbr  15572  dvcjbr  15573  dvcj  15574  dvfre  15575  dvexp  15576  dvrecap  15578  dvmptclx  15583  dvef  15592  plyval  15597  elply  15599  elply2  15600  plyf  15602  plyss  15603  elplyr  15605  plyaddlem1  15612  plymullem1  15613  plyaddlem  15614  plymullem  15615  plysub  15618  plycolemc  15623  plyco  15624  plycj  15626