~/jendhub

law part_true_sum

minebender-game@1.0.0.0 · proof_solver.bend:94

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_sums.bend as PU

94law part_true_sum:
95  for +g: T.Grid(Maybe<&2, Bool>)
96  {S.part_true(g) == PU.gsum(~Maybe<&2, Bool>, ~tf, g) : Nat}

Uses (11)

Used by (1)