Metamath Proof Explorer


Syntax definition cuhgr

Description: Extend class notation with undirected hypergraphs.

Ref Expression
Assertion cuhgr
class UHGraph