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