Database
GRAPH THEORY
Undirected graphs
Finite undirected simple graphs
cfusgr
Next ⟩
df-fusgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfusgr
Description:
Extend class notation with finite simple graphs.
Ref
Expression
Assertion
cfusgr
class
FinUSGraph