Database
GRAPH THEORY
Undirected graphs
Undirected simple graphs
cuspgr
Next ⟩
cusgr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cuspgr
Description:
Extend class notation with undirected simple pseudographs (which could have loops).
Ref
Expression
Assertion
cuspgr
$${class}\mathrm{USHGraph}$$