Metamath Proof Explorer


Syntax definition cucn

Description: Extend class notation with the uniform continuity operation.

Ref Expression
Assertion cucn class uCn