law alln_range

minebender-game@1.0.0.0 · proof_cells.bend:352

import Base

352law alln_range:
353  for +n: Nat
354  {alln(List.range(n), n) == True{} : Bool}