Metamath Proof Explorer


Syntax definition crusgr

Description: Extend class notation to include the class of all regular simple graphs.

Ref Expression
Assertion crusgr
class RegUSGraph