Metamath Proof Explorer


Syntax definition ccnp

Description: Extend class notation with the class of functions between topologies continuous at a given point.

Ref Expression
Assertion ccnp
class CnP