fact: Parameter acc_subterms : forall R, (forall x t, ~ (R t (Var x))) -> forall f l, (forall t, In t l -> Acc (one_step R) t) -> constructor R f -> Acc (one_step R) (Term f l).
imports: Coq(List Relations Wellfounded Arith Setoid) CoLoR(closure more_list weaved_relation dickson term_spec)