~/jendhub

law double_ne_odd

bend-kit-lemmas@0.1.1.0 · lemmas.bend:216

import bend-kit-lemmas@0.1.1.0/lemmas.bend as Lemmas
import Base

216law double_ne_odd:
217  for a: Nat
218  for b: Nat
219  for h: {Nat.double(a) == 1n+Nat.double(b) : Nat}
220  Empty

Uses (6)

Used by (1)