Database
GRAPH THEORY
Undirected graphs
Undirected simple graphs
cuspgr
Next ⟩
cusgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cuspgr
Description:
Extend class notation with undirected simple pseudographs (which could have loops).
Ref
Expression
Assertion
cuspgr
class
USPGraph