fact: Axiom thm_MEM_MAP : forall {_35782 _35785 : Type'}, forall f : _35785 -> _35782, forall y : _35782, forall l : list _35785, (@List.In _35782 y (@List.map _35785 _35782 f l)) = (exists x : _35785, (@List.In _35785 x l) /\ (y = (f x))).
imports: coq theory_hol types terms axioms