fact: Axiom thm_ALLPAIRS : forall {_34590 _34591 : Type'} (h : _34591) (f : _34591 -> _34590 -> Prop) (t : list _34591) (l : list _34590), ((@ALLPAIRS _34590 _34591 f (@nil _34591) l) = True) /\ ((@ALLPAIRS _34590 _34591 f (@cons _34591 h t) l) = ((@List.Forall _34590 (f h) l) /\ (@ALLPAIRS _34590 _34591 f t l))).
imports: coq theory_hol types terms axioms