Theorem cnex 7877

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

Syntax hints:   e. wcel 2136   _Vcvv 2726   CCcc 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  12832  lmbrf  12855  lmfss  12884  lmres  12888  lmtopcnp  12890  cnmet  13170  cncfval  13199  elcncf  13200  limcrcl  13267  limccl  13268  ellimc3apf  13269  limccnp2lem  13285  limccnp2cntop  13286  reldvg  13288  dvfvalap  13290  dvbss  13294  dvidlemap  13300  dvcnp2cntop  13303  dvaddxxbr  13305  dvmulxxbr  13306  dvaddxx  13307  dvmulxx  13308  dviaddf  13309  dvimulf  13310  dvcoapbr  13311  dvcjbr  13312  dvcj  13313  dvfre  13314  dvexp  13315  dvrecap  13317  dvmptclx  13320  dvef  13328