proposition: Lemma afold_left_eqb_false2 : forall t, (PArray.length t =? 2) = true -> t .[ 0] = true -> t .[ 1] = false -> afold_left bool true eqb t = false.
proof: Proof. tac_left. Qed.
imports: Bool List PArray Int63 Ring63 ZArith Psatz