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

Next ⟩ casslaw

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ccllaw

Description: Extend class notation for the closure law.

		Ref	Expression
	Assertion	ccllaw	$class clLaw$