Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Laws for internal binary operations
casslaw

Next ⟩ ccomlaw

Metamath Proof Explorer

Ascii
Unicode

Syntax definition casslaw

Description: Extend class notation for the associative law.

		Ref	Expression
	Assertion	casslaw	$class assLaw$