law gt_flip

lawful-words@0.1.0.0 · proof_bytes.bend:1008

import Base

1008law gt_flip:
1009  for +a: Nat
1010  for +b: Nat
1011  for +h: {Nat.cmp(a, b) == GT{} : Cmp}
1012  {Nat.is_lt(b, a) == True{} : Bool}