law pow_pos

lawful-arrays@0.1.0.0 · proof_base.bend:218

import Base

218law pow_pos:
219  for +d: Nat
220  {Nat.is_lt(0n, Nat.pow(2n, d)) == True{} : Bool}