Metamath Proof Explorer


Syntax definition ccncf

Description: Extend class notation to include the operation which returns a class of continuous complex functions.

Ref Expression
Assertion ccncf
class -cn->