Database
GRAPH THEORY
Undirected graphs
Undirected pseudographs and multigraphs
cupgr
Next ⟩
cumgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cupgr
Description:
Extend class notation with undirected pseudographs.
Ref
Expression
Assertion
cupgr
class
UPGraph