fact: Parameter well_formed_apply_subst : forall sigma, well_formed_subst sigma -> forall t, 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)