Metamath Proof Explorer


Syntax definition ccn

Description: Extend class notation with the class of continuous functions between topologies.

Ref Expression
Assertion ccn
class Cn