law le_add_l

lawful-words@0.1.0.0 · proof_nat.bend:792

import Base

792law le_add_l:
793  for +a: Nat
794  for +k: Nat
795  {Nat.is_le(a, Nat.add(k, a)) == True{} : Bool}