Database
BASIC STRUCTURES
Extensible structures
Slot definitions
cunif
Next ⟩
chom
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cunif
Description:
Extend class notation with the uniform structure.
Ref
Expression
Assertion
cunif
class UnifSet