Database
GRAPH THEORY
Walks, paths and cycles
Connected graphs
cconngr

Next ⟩ df-conngr

Metamath Proof Explorer

Unicode
Structured

Syntax definition cconngr

Description: Extend class notation with connected graphs.

		Ref	Expression
	Assertion	cconngr	class ConnGraph