def less_not_equal

stelliferous@0.0.2.0 · proofs/nat_order.bend:111

import stelliferous@0.0.2.0/proofs/nat_order.bend as NatOrder

import Base

111def less_not_equal(+left: Nat,+right: Nat,less: {Nat.is_lt(left,right) == True{} : Bool}) -> {Nat.is_eq(left,right) == False{} : Bool}:
112  comparison_less_not_equal(Nat.cmp(left,right),less)

Uses (6)

Used by (2)