Metamath Proof Explorer


Syntax definition csymrels

Description: Extend the definition of a class to include the symmetry relations class.

Ref Expression
Assertion csymrels
class SymRels