Database
BASIC TOPOLOGY
Uniform Structures and Spaces
Uniform Spaces
cuss
Next ⟩
cusp
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cuss
Description:
Extend class notation with the Uniform Structure extractor function.
Ref
Expression
Assertion
cuss
class
UnifSt