Metamath Proof Explorer


Syntax definition ccrcts

Description: Extend class notation with circuits (in a graph).

Ref Expression
Assertion ccrcts
class Circuits