Theorem cnex 7097

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

Syntax hints:   e. wcel 1433   _Vcvv 2601   CCcc 6979

This theorem was proved from axioms:  ax-cnex 7067

This theorem is referenced by:  reex  7107  cnelprrecn  7109  pnfnre  7160  mnfnre  7161  nnex  8045  zex  8360  qex  8717  pnfxr  8846  iserf  9453  iseradd  9463  isersub  9464  iser0  9471  iser0f  9472  serige0  9473  serile  9474  expivallem  9477  expival  9478  exp1  9482  expp1  9483  facnn  9654  fac0  9655  fac1  9656  facp1  9657  ibcval5  9690  bcn2  9691  ovshftex  9707  clim2iser  10175  clim2iser2  10176  iisermulc2  10178  iserile  10180  climserile  10183  serif0  10189