Metamath Proof Explorer


Syntax definition ciedg

Description: Extend class notation with the indexed edges of "graphs".

Ref Expression
Assertion ciedg class iEdg