law scale_double

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

import Base

313law scale_double:
314  for q: Bool
315  for -m: Nat
316  {Nat.double(scale(q, m)) == scale(q, Nat.double(m)) : Nat}