law le_add_right

bend-mathlib@0.8.1.0 · nat.bend:395

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

import Base

395# Adding on the right never decreases a natural: n <= n + k.
396law le_add_right:
397  for n: Nat
398  for k: Nat
399  le(n, Nat.add(n, k))

Uses (4)

Used by (8)