~/jendhub

law dbl_ne_odd

lawful-words@0.1.0.0 · proof_nat.bend:571

import lawful-words@0.1.0.0/proof_nat.bend as ProofNat
import Base

571law dbl_ne_odd:
572  for +x: Nat
573  for +y: Nat
574  for e: {Nat.double(x) == 1n+Nat.double(y) : Nat}
575  Empty

Uses (6)

Used by (1)