fact: Axiom thm_MAP_EQ : forall {_35103 _35114 : Type'}, forall f : _35103 -> _35114, forall g : _35103 -> _35114, forall l : list _35103, (@List.Forall _35103 (fun x : _35103 => (f x) = (g x)) l) -> (@List.map _35103 _35114 f l) = (@List.map _35103 _35114 g l).
imports: coq theory_hol types terms axioms