law lt_succ_self

minebender-game@1.0.0.0 · proof_cells.bend:308

import Base

308law lt_succ_self:
309  for +n: Nat
310  {Nat.is_lt(n, 1n+n) == True{} : Bool}