law lt_to_le

lawful-words@0.1.0.0 · proof_nat.bend:710

import Base

710law lt_to_le:
711  for +a: Nat
712  for +b: Nat
713  for e: {Nat.is_lt(a, b) == True{} : Bool}
714  {Nat.is_le(a, b) == True{} : Bool}