fact: Parameter well_formed_apply_subst_strong : forall sigma t, (forall x, var_in_term x t = true -> well_formed (apply_subst sigma (Var x))) -> well_formed t -> well_formed (apply_subst sigma t).
imports: Coq(Recdef List Arith Setoid) CoLoR(closure more_list list_permut list_set decidable_set)