fact: Definition EquiVariantRel {G : CFGV} {vc : VarSym G} {TA :Type} {TB :Type} (swapA : TA -> Swapping vc -> TA) (swapB : TB -> Swapping vc -> TB) (R : TA -> TB -> [univ]) := forall (ta : TA) (tb: TB), R ta tb -> forall (sw : Swapping vc), R (swapA ta sw) (swapB tb sw).
imports: Term AssociationList