Database
GRAPH THEORY
Undirected graphs
Undirected hypergraphs
cushgr
Next ⟩
df-uhgr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cushgr
Description:
Extend class notation with undirected simple hypergraphs.
Ref
Expression
Assertion
cushgr
class
USHGraph