Database
GRAPH THEORY
Undirected graphs
Regular graphs
crgr
Next ⟩
crusgr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crgr
Description:
Extend class notation to include the class of all regular graphs.
Ref
Expression
Assertion
crgr
$${class}\mathrm{RegGraph}$$