Metamath Proof Explorer


Syntax definition cgrisom

Description: Extend class notation to include the graph ispmorphisms.

Ref Expression
Assertion cgrisom class GrIsom