Metamath Proof Explorer


Syntax definition cedg

Description: Extend class notation with the set of edges (of an undirected simple (hyper-/pseudo-)graph).

Ref Expression
Assertion cedg class Edg