law row_none_sum

minebender-game@1.0.0.0 · proof_solver.bend:82

import Base
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_sums.bend as PU

82law row_none_sum:
83  for +r: List<&2, Maybe<&2, Bool>>
84  {S.row_none(r) == PU.rsum(~Maybe<&2, Bool>, ~nf, r) : Nat}