Database
GRAPH THEORY
Undirected graphs
Undirected pseudographs and multigraphs
cumgr
Next ⟩
df-upgr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cumgr
Description:
Extend class notation with undirected multigraphs.
Ref
Expression
Assertion
cumgr
class UMGraph