Metamath Proof Explorer


Syntax definition cunif

Description: Extend class notation with the uniform structure.

Ref Expression
Assertion cunif class UnifSet