law zero_pow

bend-mathlib@0.8.1.0 · nat.bend:2191

import Base

2191# Zero to a positive power is zero: 0^(n+1) = 0.
2192law zero_pow:
2193  for -n: Nat
2194  {Nat.pow(0n, 1n+n) == 0n : Nat}