law le1_pow

lawful-arrays@0.1.0.0 · proof_index.bend:364

import Base

364law le1_pow:
365  for +d: Nat
366  {Nat.is_le(1n, Nat.pow(2n, d)) == True{} : Bool}