law min_lt

lawful-words@0.1.0.0 · proof_u32.bend:888

import Base

888law min_lt:
889  for +x: Nat
890  for +y: Nat
891  for +h: {Nat.is_lt(x, y) == True{} : Bool}
892  {Nat.min(x, y) == x : Nat}