Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Adrian Ducourtial
Clone theory
ccloneop
Next ⟩
df-cloneop
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccloneop
Description:
Syntax for the function of the class of operations on a set.
Ref
Expression
Assertion
ccloneop
class CloneOp