fact: Definition EquiVariantFn {G : CFGV} {vc : VarSym G} {TA :Type} {TB :Type} (swapA : TA -> Swapping vc -> TA) (swapB : TB -> Swapping vc -> TB) (f : TA -> TB ) := forall (ta : TA) (sw : Swapping vc), swapB (f ta) sw = f (swapA ta sw).
imports: Term AssociationList