law cnt1_zero

minebender-game@1.0.0.0 · proof_gen.bend:990

import Base

990law cnt1_zero:
991  for +xs: List<&2, Nat>
992  {cnt1(0n, xs) == 0n : Nat}