law alln_mono

minebender-game@1.0.0.0 · proof_cells.bend:319

import Base

319law alln_mono:
320  for +xs: List<&2, Nat>
321  for +n: Nat
322  for +e: {alln(xs, n) == True{} : Bool}
323  {alln(xs, 1n+n) == True{} : Bool}