Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Permutation cycles
ctocyc
Next ⟩
df-tocyc
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctocyc
Description:
Extend class notation with the permutation cycle builder.
Ref
Expression
Assertion
ctocyc
class toCyc