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