Metamath Proof Explorer


Syntax definition ccnv

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

Ref Expression
Assertion ccnv class A -1