law start_row_len

minebender-game@1.0.0.0 · proof_solver.bend:1491

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S

1491law start_row_len:
1492  for +r: List<&2, T.Seen>
1493  {List.length(&2, Maybe<&2, Bool>, S.start.row(r)) == List.length(&2, T.Seen, r) : Nat}