Metamath Proof Explorer


Syntax definition cfusgr

Description: Extend class notation with finite simple graphs.

Ref Expression
Assertion cfusgr class FinUSGraph