Database
GRAPH THEORY
Walks, paths and cycles
Circuits and cycles
ccycls
Next ⟩
df-crcts
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccycls
Description:
Extend class notation with cycles (in a graph).
Ref
Expression
Assertion
ccycls
class Cycles