fact: Axiom thm_ALL_IMP : forall {_35144 : Type'}, forall P : _35144 -> Prop, forall Q : _35144 -> Prop, forall l : list _35144, ((forall x : _35144, ((@List.In _35144 x l) /\ (P x)) -> Q x) /\ (@List.Forall _35144 P l)) -> @List.Forall _35144 Q l.
imports: coq theory_hol types terms axioms