law not_lt_le

lawful-arrays@0.1.0.0 · proof_base.bend:169

import Base

169law not_lt_le:
170  for +a: Nat
171  for +b: Nat
172  for e: {Nat.is_lt(a, b) == False{} : Bool}
173  {Nat.is_le(b, a) == True{} : Bool}