Metamath Proof Explorer


Syntax definition ctrlson

Description: Extend class notation with trails between two vertices (within a graph).

Ref Expression
Assertion ctrlson
class TrailsOn