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