Metamath Proof Explorer |
< Previous
Next >
Nearby theorems |
||
Mirrors > Home > MPE Home > Th. List > cedga | Structured version Visualization version GIF version |
Description: Extend class notation with the set of edges (of an undirected simple (pseudo)graph) Remark: TODO-AV: If this definition (and all related theorems) are moved to main.set, the label should become "cedg". |
Ref | Expression |
---|---|
cedga | class Edg |
Colors of variables: wff setvar class |
Copyright terms: Public domain | W3C validator |