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