Database
BASIC TOPOLOGY
Uniform Structures and Spaces
Uniform continuity
cucn
Next ⟩
df-ucn
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cucn
Description:
Extend class notation with the uniform continuity operation.
Ref
Expression
Assertion
cucn
class
Cn
u