Database
BASIC TOPOLOGY
Uniform Structures and Spaces
Complete uniform spaces
ccusp
Next ⟩
df-cusp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccusp
Description:
Extend class notation with the class of all complete uniform spaces.
Ref
Expression
Assertion
ccusp
class CUnifSp