Rakugridlaws

laws/negate-is-subtract

generated by gen/laws.raku · generated/laws/negate-is-subtract.grid

law
-({A}) === 0 - ({A})
ladder
numeric, arity 1

11 tests

10 agree 1 ruled

Loading the grid …

← laws/ne-is-not-eqlaws/not-is-negated-Bool →