Metamath Proof Explorer


Syntax definition cushgr

Description: Extend class notation with undirected simple hypergraphs.

Ref Expression
Assertion cushgr class USHGraph