~/jendhub

def not_false

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

import bend-collections-laws-math@1.0.0.0/proofs/lib/logic.bend as Logic
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  {==}

Uses (3)

Used by (1)