Database
BASIC TOPOLOGY
Uniform Structures and Spaces
Uniform Spaces
cusp
Next ⟩
ctus
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cusp
Description:
Extend class notation with the class of uniform spaces.
Ref
Expression
Assertion
cusp
class UnifSp