law cmp_refl

lawful-words@0.1.0.0 · proof_nat.bend:153

import Base

153law cmp_refl:
154  for +n: Nat
155  {Nat.cmp(n, n) == EQ{} : Cmp}