Database
GRAPH THEORY
Undirected graphs
Undirected hypergraphs
cuhgr
Next ⟩
cushgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cuhgr
Description:
Extend class notation with undirected hypergraphs.
Ref
Expression
Assertion
cuhgr
class
UHGraph