Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Madsen
Operation properties
cass
Next ⟩
df-ass
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cass
Description:
Extend class notation with a device to add associativity to internal operations.
Ref
Expression
Assertion
cass
class
Ass