Metamath Proof Explorer


Syntax definition cumgr

Description: Extend class notation with undirected multigraphs.

Ref Expression
Assertion cumgr class UMGraph