intro h
n : Nat
units : Array (Literal (PosFin n))
assignments : Array Assignment
foundContradiction : Bool
l : List (Literal (PosFin n))
l' : Literal (PosFin n)
⊢ l' ∈ (units, assignments, foundContradiction).fst.data → l' ∈ l ∨ l' ∈ units.data
n : Nat
units : Array (Literal (PosFin n))
assignments : Array Assignment
foundContradiction : Bool
l : List (Literal (PosFin n))
l' : Literal (PosFin n)
h : l' ∈ (units, assignments, foundContradiction).fst.data
⊢ l' ∈ l ∨ l' ∈ units.data