Metamath Proof Explorer


Syntax definition cbnd

Description: Extend class notation with the class of bounded metric spaces.

Ref Expression
Assertion cbnd
class Bnd