Metamath Proof Explorer


Syntax definition cgrim

Description: Extend class notation to include the graph ispmorphisms.

Ref Expression
Assertion cgrim
class GraphIso