fact: Parameter dickson_strong : forall R l, (forall a, In a l -> Acc R a) -> Acc (multiset_extension_step R) l.
imports: Coq(Relations List Multiset Arith Morphisms FunInd) CoLoR(closure more_list list_permut ordered_set)