law le_of_add

minebender-game@1.0.0.0 · proof_base.bend:644

import Base

644law le_of_add:
645  for +a: Nat
646  for +k: Nat
647  {Nat.is_le(a, Nat.add(a, k)) == True{} : Bool}