Metamath Proof Explorer


Syntax definition casslaw

Description: Extend class notation for the associative law.

Ref Expression
Assertion casslaw
class assLaw