Rakugridlaws

laws/double-negate

generated by gen/laws.raku · generated/laws/double-negate.grid

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

11 tests

11 agree

Loading the grid …

← laws/de-morgan-orlaws/eq-commutes →