Theorem cnex 7898

Description: Alias for ax-cnex 7865. (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 7865	1 |- CC e. _V

Syntax hints:   e. wcel 2141   _Vcvv 2730   CCcc 7772

This theorem was proved from axioms:  ax-cnex 7865

This theorem is referenced by:  reex  7908  cnelprrecn  7910  pnfnre  7961  mnfnre  7962  pnfxr  7972  nnex  8884  zex  9221  qex  9591  ovshftex  10783  lmfval  12986  lmbrf  13009  lmfss  13038  lmres  13042  lmtopcnp  13044  cnmet  13324  cncfval  13353  elcncf  13354  limcrcl  13421  limccl  13422  ellimc3apf  13423  limccnp2lem  13439  limccnp2cntop  13440  reldvg  13442  dvfvalap  13444  dvbss  13448  dvidlemap  13454  dvcnp2cntop  13457  dvaddxxbr  13459  dvmulxxbr  13460  dvaddxx  13461  dvmulxx  13462  dviaddf  13463  dvimulf  13464  dvcoapbr  13465  dvcjbr  13466  dvcj  13467  dvfre  13468  dvexp  13469  dvrecap  13471  dvmptclx  13474  dvef  13482