law min_le_l

lawful-bytes@0.1.1.0 · proof_fast_find2.bend:96

import Base

96law min_le_l:
97  for +a: Nat
98  for +b: Nat
99  {Nat.is_le(Nat.min(a, b), a) == True{} : Bool}