law fin_eq

lawful-words@0.1.0.0 · proof_u32.bend:296

import Base

296law fin_eq:
297  for +a: Bool
298  for +b: Bool
299  for +t: Cmp
300  {Cmp.is_eq(Word.cmp.fin(a, b, t)) == Bool.and(Cmp.is_eq(t), Cmp.is_eq(Bool.cmp(a, b))) : Bool}