Theorem cnex 7668

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

Syntax hints:   e. wcel 1463   _Vcvv 2657   CCcc 7545

This theorem was proved from axioms:  ax-cnex 7636

This theorem is referenced by:  reex  7678  cnelprrecn  7680  pnfnre  7731  mnfnre  7732  pnfxr  7742  nnex  8636  zex  8967  qex  9326  ovshftex  10484  lmfval  12204  lmbrf  12226  lmfss  12255  lmres  12259  lmtopcnp  12261  cnmet  12519  cncfval  12545  elcncf  12546  limcrcl  12583  limccl  12584  ellimc3apf  12585  limccnp2lem  12601  limccnp2cntop  12602  reldvg  12603  dvfvalap  12605  dvbss  12609  dvidlemap  12615  dvcnp2cntop  12618  dvaddxxbr  12620  dvmulxxbr  12621  dvaddxx  12622  dvmulxx  12623  dviaddf  12624  dvimulf  12625