PROOF.h.cnc: def of bend-kit-collections@0.1.4.1
Import: import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
Lines 2664-2669 of bend-kit-collections@0.1.4.1/PROOF.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/PROOF.bend&start_line=2664&end_line=2669

import Base
import bend-mathlib@0.7.4.0/bool.bend as MBool

def h.cnc(c: Bool, e: {c == Bool.not(c) : Bool}) -> Empty:
  match c:
    case True{}:
      MBool.false_ne_true()(Equal.sym(Bool, True{}, False{}, e))
    case False{}:
      MBool.false_ne_true()(e)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=bend-mathlib@0.8.1.0/bool.bend&name=false_ne_true