Metamath Proof Explorer


Syntax definition ccloneop

Description: Syntax for the function of the class of operations on a set.

Ref Expression
Assertion ccloneop class CloneOp