def not_false

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/logic.bend:44

import Base

44def not_false(b: Bool, e: {b == False{} : Bool}) -> {Bool.not(b) == True{} : Bool}:
45  %Equal.sym(Bool, b, False{}, e) : {Bool.not(_) == True{} : Bool}
46  {==}