Metamath Proof Explorer


Syntax definition cinftyexpi

Description: Syntax for the function inftyexpi parameterizing CCinfty .

Ref Expression
Assertion cinftyexpi class +∞ei