def sticky_eq

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64sqr.bend:202

import Base

202def sticky_eq(+a: Bool, +b: Bool, +h: {a == b : Bool}) -> {Bool.not(a) == Bool.not(b) : Bool}:
203  Equal.cong(Bool, Bool, z => Bool.not(z), a, b, h)