law dbl_zero

lawful-words@0.1.0.0 · proof_nat.bend:586

import Base

586law dbl_zero:
587  for +x: Nat
588  for e: {Nat.double(x) == 0n : Nat}
589  {x == 0n : Nat}