Metamath Proof Explorer


Syntax definition ctrls

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

Ref Expression
Assertion ctrls class Trails