Metamath Proof Explorer


Syntax definition ccoeleqvrels

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

Ref Expression
Assertion ccoeleqvrels class CoElEqvRels