Metamath Proof Explorer


Syntax definition ccnvrefs

Description: Extend the definition of a class to include the converse reflexivity class.

Ref Expression
Assertion ccnvrefs
class CnvRefs