Theorem cnex 7005

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

Syntax hints:   e. wcel 1393   _Vcvv 2557   CCcc 6887

This theorem was proved from axioms:  ax-cnex 6975

This theorem is referenced by:  reex  7015  cnelprrecn  7017  pnfnre  7067  mnfnre  7068  nnex  7920  zex  8254  qex  8567  pnfxr  8692  iserf  9233  iseradd  9243  isersub  9244  iser0  9250  iser0f  9251  serige0  9252  serile  9253  expivallem  9256  expival  9257  exp1  9261  expp1  9262  ovshftex  9420  clim2iser  9857  clim2iser2  9858  iisermulc2  9860  iserile  9862  climserile  9865  serif0  9871