Metamath Proof Explorer


Syntax definition cupgr

Description: Extend class notation with undirected pseudographs.

Ref Expression
Assertion cupgr
class UPGraph