Database
GRAPH THEORY
Undirected graphs
Regular graphs
crusgr
Next ⟩
df-rgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
crusgr
Description:
Extend class notation to include the class of all regular simple graphs.
Ref
Expression
Assertion
crusgr
class
RegUSGraph