Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Internal binary operations
cintop
Next ⟩
cclintop
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cintop
Description:
Extend class notation with class of internal (binary) operations for a set.
Ref
Expression
Assertion
cintop
class
intOp