Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Laws for internal binary operations
ccomlaw
Next ⟩
df-cllaw
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ccomlaw
Description:
Extend class notation for the commutative law.
Ref
Expression
Assertion
ccomlaw
class
comLaw