fact: Axiom thm_ALLPAIRS_MEM : forall {_36298 _36299 : Type'}, forall P : _36299 -> _36298 -> Prop, forall l : list _36299, forall m : list _36298, (forall x : _36299, forall y : _36298, ((@List.In _36299 x l) /\ (@List.In _36298 y m)) -> P x y) = (@ALLPAIRS _36298 _36299 P l m).
imports: coq theory_hol types terms axioms