law nat_pow_add

lawful-words@0.1.0.0 · LAWS.bend:497

import Base

497law nat_pow_add:
498  for b: Nat
499  for j: Nat
500  for k: Nat
501  {Nat.pow(b, Nat.add(j, k)) == Nat.mul(Nat.pow(b, j), Nat.pow(b, k)) : Nat}