law lt_mono

minebender-game@1.0.0.0 · proof_cells.bend:293

import Base

293law lt_mono:
294  for +i: Nat
295  for +n: Nat
296  for e: {Nat.is_lt(i, n) == True{} : Bool}
297  {Nat.is_lt(i, 1n+n) == True{} : Bool}