fact: Axiom thm_MAP_REVERSE : forall {_37196 _37198 : Type'}, forall f : _37198 -> _37196, forall l : list _37198, (@List.rev _37196 (@List.map _37198 _37196 f l)) = (@List.map _37198 _37196 f (@List.rev _37198 l)).
imports: coq theory_hol types terms axioms