Database
GRAPH THEORY
Undirected graphs
Undirected simple graphs
cusgr
Next ⟩
df-uspgr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cusgr
Description:
Extend class notation with undirected simple graphs (without loops).
Ref
Expression
Assertion
cusgr
class USGraph