fact: Parameter term_rec4 : (forall v, P (Var v)) -> (forall f l, Pl l -> P (Term f l)) -> (forall l, (forall t, In t l -> P t) -> Pl l) -> forall t, P t.
imports: Coq(Recdef List Arith Setoid) CoLoR(closure more_list list_permut list_set decidable_set)