fact: Axiom thm_MEM : forall {_34180 : Type'} (h : _34180) (x : _34180) (t : list _34180), ((@List.In _34180 x (@nil _34180)) = False) /\ ((@List.In _34180 x (@cons _34180 h t)) = ((x = h) \/ (@List.In _34180 x t))).
imports: coq theory_hol types terms axioms