fact: Axiom thm_ALL_MEM : forall {_35581 : Type'}, forall P : _35581 -> Prop, forall l : list _35581, (forall x : _35581, (@List.In _35581 x l) -> P x) = (@List.Forall _35581 P l).
imports: coq theory_hol types terms axioms