fact: Variable In_eqA_compat : forall ss x x', In x' ss -> x =A= x' -> In x ss.
imports: Coq(List Permutation Arith Morphisms Basics) CoLoR(MultisetOrder RelExtras MultisetCore MultisetList MultisetTheory AccUtil RelUtil LogicUtil) CoLoR(AccUtil ListUtil)