Metamath Proof Explorer


Syntax definition cuspgr

Description: Extend class notation with undirected simple pseudographs (which could have loops).

Ref Expression
Assertion cuspgr class USPGraph