Rakugrid › laws

laws/plus-associates

generated by gen/laws.raku · generated/laws/plus-associates.grid

law

(({A}) + ({B})) + ({C}) === ({A}) + (({B}) + ({C}))

ladder

small, arity 3

343 tests

343 agree

← laws/not-is-negated-Boollaws/plus-commutes →