Metamath Proof Explorer


Syntax definition cmembers

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

Ref Expression
Assertion cmembers
class MembErs