Database
GRAPH THEORY
Undirected graphs
Subgraphs
csubgr
Next ⟩
df-subgr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csubgr
Description:
Extend class notation with subgraphs.
Ref
Expression
Assertion
csubgr
class
SubGraph