law lt_add_of_pos_right

bend-mathlib@0.8.1.0 · nat.bend:2689

import bend-mathlib@0.8.1.0/nat.bend as Nat

import Base

2689# Adding a positive amount on the right strictly increases: n < n + (1 + k).
2690law lt_add_of_pos_right:
2691  for n: Nat
2692  for -k: Nat
2693  lt(n, Nat.add(n, 1n+k))

Uses (3)

Used by (3)