Metamath Proof Explorer

Syntax definition cusp

Description: Extend class notation with the class of uniform spaces.

Ref Expression
Assertion cusp 
class UnifSp