law add_eq_zero_r

lawful-words@0.1.0.0 · proof_nat.bend:329

import Base

329law add_eq_zero_r:
330  for +x: Nat
331  for +y: Nat
332  for e: {Nat.add(x, y) == 0n : Nat}
333  {y == 0n : Nat}