Metamath Proof Explorer


Syntax definition ctocyc

Description: Extend class notation with the permutation cycle builder.

Ref Expression
Assertion ctocyc
class toCyc